
  CONST
    osc$f1_wait_list_size = 4;

  TYPE
    ost$f1_wait_list = array [1 .. osc$f1_wait_list_size] of ost$f1_activity,

    ost$f1_activity = record
      case activity: ost$f1_wait_activity of
      = osc$f1_null_activity =
        ,
      = osc$f1_await_time =
        milliseconds: 0 .. 0ffffffff(16),
      = nac$f1_await_activity_status =
        activity_status: ^ost$activity_status,
      = nac$f1_await_data_available =
        file_identifier: amt$file_identifier,
      = nac$f1_sk_await_data_available =
        socket_id: nat$sk_socket_identifier,
      = osc$f1_await_unspecified_event =
        ,
      casend,
    recend,

    ost$f1_wait_activity = (osc$f1_null_activity, osc$f1_await_time,
          nac$f1_await_activity_status, nac$f1_await_data_available,
          osc$f1_await_unspecified_event, nac$f1_sk_await_data_available);

*copyc amt$file_identifier
*copyc nat$sk_socket_identifier
*copyc ost$activity_status
