
  PROCEDURE [XREF] osp$terminate_system_r1;
