
  PROCEDURE [XREF] cmp$set_active_flag
    (    configuration_state: boolean);
