Constant mlfq_consts_MLFQ_BUDGET_MAX_NS 

pub const mlfq_consts_MLFQ_BUDGET_MAX_NS: mlfq_consts = 6000000;