
  CONST
    ofc$system_operator_id = 'SYSTEM_OPERATOR',
    ofc$tape_operator_id = 'TAPE_OPERATOR';
