Constant mlfq_consts_MLFQ_ADAPT_K 

pub const mlfq_consts_MLFQ_ADAPT_K: mlfq_consts = 128;