
  FUNCTION [XREF] pmp$terminated_while_inhibited: boolean;

