
  TYPE
    oft$operator_alarm = (ofc$tape_mounts, ofc$menu_requests,
          ofc$operator_messages),
    oft$operator_alarms = set of oft$operator_alarm;

