
  PROCEDURE [XREF] jmp$find_and_insert_swapin_cand (current_time: jmt$clock_time);

?? PUSH (LISTEXT := ON) ??
*copyc jmt$clock_time
?? POP ??
