
  PROCEDURE [XREF] pmp$enable_timesharing_io;
