 TYPE
    nat$se_peer_operation = record
      case kind: nat$se_peer_operation_kind of
      = nac$se_send_data =
        end_of_message: boolean,
        qualified_data: boolean,
        data_length: nat$data_length,
      = nac$se_interrupt =
        interrupt_data_length: nat$se_interrupt_data_length,
        interrupt_data: SEQ (REP nac$se_max_interrupt_data_len of cell),
      = nac$se_synchronize =
        direction: nat$se_synchronize_direction,
        synchronize_data_length: nat$se_synchronize_data_length,
        synchronize_data: SEQ (REP nac$se_max_synch_data_length of cell),
      = nac$se_synchronize_confirm =
      casend,
    recend;

*copyc nat$se_peer_operation_kind
*copyc nat$data_length
*copyc nat$se_interrupt_data_length
*copyc nat$se_synchronize_direction
*copyc nat$se_synchronize_data_length
