
  CONST
    ifc$interrupt_timesharing_io = 'IFC$INTERRUPT_TIMESHARING_IO   ';
