
  PROCEDURE [XREF] clp$set_case_block
    (    interpreter_mode: clt$interpreter_modes;
         case_selection_encounterred: boolean;
         case_selection_made: boolean;
         case_else_allowed: boolean);

?? PUSH (LISTEXT := ON) ??
*copyc clt$interpreter_modes
?? POP ??
