
  PROCEDURE [XREF {TS_gate} ] ifp$stop_interactive;
