  PROCEDURE [XREF] jmp$set_sched_flag(on_or_off: BOOLEAN);

