
  PROCEDURE [XREF] clp$reset_input_state;
