
  PROCEDURE [XREF] jmp$set_interactive_cond_state
    (    interactive_conditions_enabled: boolean);

