1312 /* l: scheduler priority */