  TYPE
    ost$system_task_work_to_do = record
      task_name: ost$name,
      log_task_status: boolean,
      task_status: ost$status,
      case kind: ost$st_work_to_do_kind of
      = osc$st_no_work_to_do =
        ,
      = osc$st_terminate_task =
        ,
      = osc$st_deactivate_task =
        ,
      = osc$st_execute_task =
        program_description: ^llt$program_description,
        parameters: ^clt$parameter_list,
        spy_identifier: pmt$spy_identifier,
        execution_ring: ost$valid_ring,
        first_execution: boolean,
      casend,
    recend,

    ost$st_work_to_do_kind = (osc$st_no_work_to_do, osc$st_execute_task,
          osc$st_terminate_task, osc$st_deactivate_task);

*copyc osd$virtual_address
*copyc ost$name
*copyc llt$program_description
*copyc clt$parameter_list
*copyc pmt$spy_identifier
*copyc ost$status
