
  PROCEDURE [XREF] pmp$determine_pit_set (VAR pit_was_set: boolean);

