
  PROCEDURE [INLINE] mmp$store_pfti (pfti: mmt$page_frame_index);

?? PUSH (LISTEXT := ON) ??
    mmv$pfti_array_p^.pftis [mmv$pfti_array_p^.last_pfti_index] := pfti;
    mmv$pfti_array_p^.last_pfti_index := mmv$pfti_array_p^.last_pfti_index + 1;
  PROCEND;

?? POP ??
