fixed-point and part of mlfqs