
  PROCEDURE [XREF] pmp$ring_crossing_procedure (VAR activate_alarm: boolean);
