import Ericsson NS, ISUP, ROHC and SNDCP modules for TITAN
diff --git a/ROHC_CNL113426_LATEST/src/ROHC_Types.ttcn b/ROHC_CNL113426_LATEST/src/ROHC_Types.ttcn
new file mode 100644
index 0000000..5ca513e
--- /dev/null
+++ b/ROHC_CNL113426_LATEST/src/ROHC_Types.ttcn
@@ -0,0 +1,1079 @@
+///////////////////////////////////////////////////////////////////////////////
+//                                                                           //
+// Copyright Test Competence Center(TCC) ETH 2003                            //
+//                                                                           //
+// The copyright to the computer program(s) herein is the property of TCC.   //
+// The program(s) may be used and/or copied only with the written permission //
+// of TCC or in accordance with the terms and conditions stipulated in the   //
+// agreement/contract under which the program(s) has been supplied.          //
+//                                                                           //
+///////////////////////////////////////////////////////////////////////////////
+//
+// File: ROHC_Types.ttcn
+// Description: ROHC
+// Rev: R3A01
+// Prodnr: CNL 113 426
+// Updated: 2006.04.13
+// Contact: http://ttcn.ericsson.se
+//
+
+/* Based on RFC 3095, July 2001 */
+
+/* TODO: improvements::
+- Profile4_Dynamic_Chain_u should not contain the sn field
+
+ethesi */
+
+module ROHC_Types
+{
+import from General_Types all;
+
+external function f_ROHC_enc(in ROHC_packet_u pdu, in ROHC_config p_config)
+return octetstring;
+external function f_ROHC_dec(in octetstring data, inout ROHC_config p_config)
+return ROHC_packet_u;
+external function f_ROHC_CRC(in octetstring data, in integer crclen)
+return integer;
+external function f_FBCK_enc(in Feedback_data pdu, in ROHC_config p_config)
+return octetstring;
+external function f_FBCK_dec(in octetstring data, in ROHC_config p_config)
+return Feedback_data;
+
+/* Constants for ROHC mode field values including mode cancellation */
+const integer cg_ROHC_mode_C := 0;
+const integer cg_ROHC_mode_U := 1;
+const integer cg_ROHC_mode_O := 2;
+const integer cg_ROHC_mode_R := 3;
+
+/* Constants for ROHC feedback type */
+const integer cg_ROHC_fbck_type_ACK := 0;
+const integer cg_ROHC_fbck_type_NACK := 1;
+const integer cg_ROHC_fbck_type_SNACK := 2;
+const integer cg_ROHC_fbck_type_reserved := 3;
+
+type bitstring ROHC_BIT7_BO_LAST length (7) with {variant "BYTEORDER(last)"};
+
+type enumerated Packet_type { R_0(0), R_0_CRC(1), UO_0(2), R_1(3), R_1_ID(4),
+  R_1_TS(5), UO_1(6), UO_1_ID(7), UO_1_TS(8), UOR_2(9), UOR_2_ID(10),
+  UOR_2_TS(11), IR(12), IR_DYN(13), NOPKT(14) };
+
+/* ==================== ROHC configuration and context ==================== */
+
+  type record IP_context {
+    /* Version of this IP level. MSB bit may be set (Profile 4 only). */
+    integer version,
+    /* RND bit of this IP level (RND or RND2) */
+    boolean rnd_bit,
+    /* Whether AH is present in the IPX index list */
+    boolean ah_present,
+    /* Whether GRE is present in the IPX index list */
+    boolean gre_present,
+    /* Whether ESP is present in the IPX index list */
+    boolean esp_present,
+    /* Length of the compressed AH data field after the base header */
+    integer ah_data_len,
+    /* Whether GRE header has GRE checksum or not */
+    boolean gre_cksum_present
+  };
+  
+  type record UDP_context {
+    boolean udp_cksum
+  };
+  
+  type record of IP_context IP_contexts;  
+  
+  type record ROHC_context {
+      integer mode,
+      integer profile,
+      /* The decoded packet type */
+      Packet_type pkt,
+      IP_contexts ip_ctx,
+      UDP_context udp_ctx
+  };
+
+  type record of integer int_array;
+
+  type record of ROHC_context ROHC_context_rof;
+
+  type record ROHC_config {
+      boolean large_cid,
+      int_array rtp_ports,
+      ROHC_context_rof context
+  };
+
+  type port ROHC_ASP_SP_PT message
+  {
+    inout ROHC_packet_u; 
+    inout octetstring;
+  } with { extension "internal" }
+
+  
+  /* ROHC Configuration port */
+  type record ROHC_ROHCCFG_REQ_setconfig 
+  {
+    ROHC_config config
+  }
+
+  type enumerated ROHC_ROHCCFG_REQ_operation { rohccfg_getconfig }
+  
+  type union ROHC_ROHCCFG_REQ 
+  {
+    ROHC_ROHCCFG_REQ_operation simpleop,
+    ROHC_ROHCCFG_REQ_setconfig setconfig
+  }
+  
+  type enumerated ROHC_ROHCCFG_RSP_operation { rohccfg_ok }
+
+  type record ROHC_ROHCCFG_RSP_config 
+  {
+    ROHC_config config
+  }
+  
+  type union ROHC_ROHCCFG_RSP
+  {
+    ROHC_ROHCCFG_RSP_operation simpleop,
+    ROHC_ROHCCFG_RSP_config config
+  }
+  
+  type port ROHC_PORTCFG_PT message
+  {
+    inout ROHC_config;
+    inout charstring;
+    inout ROHC_ROHCCFG_REQ;
+    inout ROHC_ROHCCFG_RSP;
+  } with { extension "internal" }
+
+  type union ROHC_packet_u
+  {
+    ROHC_packet rohc,
+    Segment_packet segment
+  }
+
+  type record ROHC_packet /* p.42 */
+  {
+    Padding padding optional,
+    Feedback feedback optional,
+    Header header,
+    Payload payload optional
+  };
+
+/* TODO CHECK: why this is needed ?
+type record Reconstructed_unit
+{
+ octetstring reconstructed_packet,
+ OCT4 CRC
+}; */
+
+  type record Segment_packet /* p.50 */
+  {
+    Padding padding optional,
+    Feedback feedback optional,
+    INT7b segment_header_id, /* Must be 127 (0x7F) */
+    boolean final,
+    Payload payload optional,
+    integer crc optional
+  };
+
+  type octetstring Padding; /* Must be a serie of 0xE0 */
+  type octetstring Payload;
+
+  type OCT1n Feedback1; /* p.91 */
+
+  type record Feedback_opts_u /* p.91 */
+  {
+    INT4b opt_type,
+    INT4b opt_len,
+    octetstring opt_data optional
+  };
+
+  type record of Feedback_opts_u Feedback_opts; /* p.91 */
+
+  type record Feedback2 /* p.91 */
+  {
+    INT2b acktype,
+    INT2b mode,
+    INT12b_BO_LAST sn,
+    Feedback_opts feedback_opts optional
+  };
+
+  type union Feedback_type /* p.46 */
+  {
+    Feedback1 feedback1,
+    Feedback2 feedback2
+  };
+
+  type record Feedback_data /* p.46 */
+  {
+    INT14b_BO_LAST cid,
+    Feedback_type feedback_type
+  };
+
+  type record Feedback_u /* p.45 */
+  {
+    BIT5 feedback_type, /* Must be '11110'B */
+    INT3b code,
+    LIN1 size optional,
+    /* TODO: size could be 0, so feedback_data should be optional;
+      although it's a weird case, but still possible */
+    Feedback_data feedback_data
+  };
+
+  type record of Feedback_u Feedback; /* p.42 */
+
+  type union Header /* p.77 */
+  {
+    Profile0_headers prof0,
+    Profile1_headers prof1,
+    Profile2_headers prof2,
+    Profile4_headers prof4
+  };
+
+  //Profile0
+
+  type union Profile0_headers
+  {
+    Profile0_IR_packet ir,
+    Profile0_normal_packet normal
+  };
+
+  type record Profile0_IR_packet /* p.127 */
+  {
+    INT14b_BO_LAST cid,
+    BIT7 type_ind, /* Must be '1111110'B */
+    BIT1 d, /* Must be 0 */
+    LIN1 profile, /* Must be 0 */
+    LIN1 crc,
+    octetstring orig_packet
+  };
+
+  type record Profile0_normal_packet /* p.128 */
+  {
+    INT14b_BO_LAST cid,
+    octetstring orig_packet
+  };
+
+  //Profile1
+
+  type record Profile1_headers /* p.77 */
+  {
+    Profile1_base_header base_header,
+    Profile1_Extension ext optional,
+    LIN2_BO_LAST ip_id_outer optional,
+    octetstring ah_outer optional,
+    LIN2_BO_LAST gre_cksum1 optional,
+    LIN2_BO_LAST ip_id_inner optional,
+    octetstring ah_inner optional,
+    LIN2_BO_LAST gre_cksum2 optional,
+    LIN2_BO_LAST udp_cksum optional
+  };
+
+  type union Profile1_base_header
+  {
+    Profile1_IR_header ir,
+    Profile1_IR_DYN_header ir_dyn,
+    Profile1_R_0_header r_0,
+    Profile1_R_0_CRC_header r_0_crc,
+    Profile1_UO_0_header uo_0,
+    Profile1_R_1_header r_1,
+    Profile1_R_1_ID_header r_1_id,
+    Profile1_R_1_TS_header r_1_ts,
+    Profile1_UO_1_header uo_1,
+    Profile1_UO_1_ID_header uo_1_id,
+    Profile1_UO_1_TS_header uo_1_ts,
+    Profile1_UOR_2_header uor_2,
+    Profile1_UOR_2_ID_header uor_2_id,
+    Profile1_UOR_2_TS_header uor_2_ts
+  };
+
+  type union Static_Chain_u /* p.91 */
+  {
+    IPv4_Static ipv4_stat,
+    IPv6_Static ipv6_stat,
+    UDP_Static udp_stat,
+    RTP_Static rtp_stat,
+    ESP_Static esp_stat
+  };
+
+  type union Dynamic_Chain_u /* p.91 */
+  {
+    IPv4_Dynamic ipv4_dyn,
+    IPv6_Dynamic ipv6_dyn,
+    UDP_Dynamic udp_dyn,
+    RTP_Dynamic rtp_dyn,
+    ESP_Dynamic esp_dyn
+  };
+
+  type record of Static_Chain_u Static_Chain; /* p.91 */
+
+  type record of Dynamic_Chain_u Dynamic_Chain; /* p.91 */
+
+  type record Profile1_IR_header /* p.45 */ /* p.91 */
+  {
+    INT14b_BO_LAST cid,
+    BIT7 type_ind, /* Must be '1111110'B */
+    BIT1 d,
+    LIN1 profile, /* Must be 1 */
+    LIN1 crc,
+    Static_Chain stat_chain,
+    Dynamic_Chain dyn_chain optional
+  };
+
+  type record Profile1_IR_DYN_header /* p.46 */ /* p.92 */
+  {
+    INT14b_BO_LAST cid,
+    BIT8 type_ind, /* Must be '11111000'B */
+    LIN1 profile, /* Must be 1 */
+    LIN1 crc,
+    Dynamic_Chain dyn_chain
+  };
+
+  type record Profile1_R_0_header /* p.74 */
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '00'B */
+    INT6b sn
+  };
+
+  type record Profile1_R_0_CRC_header /* p.74 */
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '01'B */
+    INT7b sn,
+    INT7b crc
+  };
+
+  type record Profile1_UO_0_header /* p.75 */
+  {
+    INT14b_BO_LAST cid,
+    BIT1 type_ind, /* Must be '0'B */
+    INT4b sn,
+    INT3b crc
+  };
+
+  type record Profile1_R_1_header /* p.75 */
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '10'B */
+    INT6b sn,
+    BIT1 m_bit,
+    BIT1 x_bit,
+    INT6b ts
+  };
+
+  type record Profile1_R_1_ID_header /* p.75 */
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '10'B */
+    INT6b sn,
+    BIT1 m_bit,
+    BIT1 x_bit,
+    BIT1 t_bit, /* Must be '0'B */
+    INT5b ip_id
+  };
+
+  type record Profile1_R_1_TS_header /* p.75 */
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '10'B */
+    INT6b sn,
+    BIT1 m_bit,
+    BIT1 x_bit,
+    BIT1 t_bit, /* Must be '1'B */
+    INT5b ts
+  };
+
+  type record Profile1_UO_1_header /* p.76 */
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '10'B */
+    INT6b ts,
+    BIT1 m_bit,
+    INT4b sn,
+    INT3b crc
+  };
+
+  type record Profile1_UO_1_ID_header /* p.76 */
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '10'B */
+    BIT1 t_bit, /* Must be '0'B */
+    INT5b ip_id,
+    BIT1 x_bit,
+    INT4b sn,
+    INT3b crc
+  };
+
+  type record Profile1_UO_1_TS_header /* p.76 */
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '10'B */
+    BIT1 t_bit, /* Must be '1'B */
+    INT5b ts,
+    BIT1 m_bit,
+    INT4b sn,
+    INT3b crc
+  };
+
+  type record Profile1_UOR_2_header /* p.77 */
+  {
+    INT14b_BO_LAST cid,
+    BIT3 type_ind, /* Must be '110'B */
+    INT6b ts,
+    BIT1 m_bit,
+    INT6b sn,
+    BIT1 x_bit,
+    INT7b crc
+  };
+
+  type record Profile1_UOR_2_ID_header /* p.77 */
+  {
+    INT14b_BO_LAST cid,
+    BIT3 type_ind, /* Must be '110'B */
+    INT5b ip_id,
+    BIT1 t_bit, /* Must be '0'B */
+    BIT1 m_bit,
+    INT6b sn,
+    BIT1 x_bit,
+    INT7b crc
+  };
+
+  type record Profile1_UOR_2_TS_header /* p.77 */
+  {
+    INT14b_BO_LAST cid,
+    BIT3 type_ind, /* Must be '110'B */
+    INT5b ts,
+    BIT1 t_bit, /* Must be '1'B */
+    BIT1 m_bit,
+    INT6b sn,
+    BIT1 x_bit,
+    INT7b crc
+  };
+
+  type record Short_Seqnum /* p.120 */
+  {
+    BIT1 ind, /* Must be '0'B */
+    INT7b lsb_of_seqnum
+  };
+
+  type record Long_Seqnum /* p.120 */
+  {
+    BIT1 ind, /* Must be '1'B */
+    INT31b_BO_LAST lsb_of_seqnum
+  };
+
+  type union AEGSeqnum /* p.112 */
+  {
+    Short_Seqnum short_form,
+    Long_Seqnum long_form
+  };
+
+  type record XI_Item4_r /* p.121 */
+  {
+    BIT1 x_ind,
+    INT3b index
+  };
+
+  type record XI_Item8_r /* p.121 */
+  {
+    BIT1 x_ind,
+    INT7b index
+  };
+
+  type record of XI_Item4_r XI_Item4;
+
+  type record of XI_Item8_r XI_Item8;
+
+  type union XI_list /* p.113 */
+  {
+    XI_Item4 xi_item4,
+    XI_Item8 xi_item8
+  };
+
+  type record IPv6_ext_item
+  {
+    LIN1 nexthead,
+    LIN1 hdr_ext_len,
+    octetstring data
+  }
+
+  type record MINE_item {
+    LIN1 protocol,
+    BIT1 s_bit,
+    ROHC_BIT7_BO_LAST reserved,
+    LIN2_BO_LAST cksum,
+    OCT4 dstaddr,
+    OCT4 srcaddr optional
+  } with { 
+    variant "FIELDORDER(msb)"; 
+    variant (srcaddr)  "PRESENCE(s_bit = '1'B)";
+  }
+
+/* TODO: check why better use INTn intead of OCTn */
+  type record AH_item /* RFC 2402, p.3 */
+  {
+    LIN1 nexthead, /* Must be 51 */
+    LIN1 payload_len,
+    LIN2_BO_LAST reserved, /* Must be 0 */
+    LIN4_BO_LAST spi,
+    LIN4_BO_LAST sn,
+    octetstring auth_data optional
+  }
+
+  type record ESP_item
+  {
+    LIN1 nexthead, /* Must be 50 */
+    LIN4_BO_LAST spi,
+    LIN4_BO_LAST sn
+  }
+
+  type record GRE_item
+  {
+    LIN1 nexthead, /* Must be 47 */
+    BIT1 C_bit,
+    BIT1 reserved_1, /* Must be '0'B */
+    BIT1 K_bit,
+    BIT1 S_bit,
+    BIT1 reserved_2, /* Must be '0'B */
+    BIT3 version,
+    LIN2_BO_LAST cksum optional,
+    LIN4_BO_LAST key optional,
+    LIN4_BO_LAST sn optional
+  }
+
+  type union Item
+  {
+    IPv6_ext_item ipv6_ext_item,
+    AH_item ah_item,
+    ESP_item esp_item,
+    GRE_item gre_item,
+    MINE_item mine_item
+/* TODO CHECK: could we use it ?
+    octetstring any_item */
+  }
+
+  type record of Item IP_Item_list;
+
+  type record of OCT4n CSRC_Item_list;
+  
+  /* TODO: temporary solution for profile4 tests */
+  type record of octetstring RAW_data;
+
+  type union Item_list
+  {
+    CSRC_Item_list csrc_item_list,
+    IP_Item_list ip_item_list,
+    /* TODO: temporary solution for profile4 tests */
+    RAW_data raw_data
+  }
+
+  type record Enc_Type_0 /* p.112 */
+  {
+    BIT2 et, /* Must be '00'B */
+    BIT1 gp_bit,
+    BIT1 ps_bit,
+    INT4b cc,
+    LIN1 gen_id optional,
+    XI_list xi_list optional,
+    BIT4 padding optional, /* Must be '0000'B */
+    Item_list item_list optional
+  };
+
+  type record Enc_Type_1 /* p.114 */
+  {
+    BIT2 et, /* Must be '01'B */
+    BIT1 gp_bit,
+    BIT1 ps_bit,
+    INT4b xi1,
+    LIN1 gen_id optional,
+    LIN1 ref_id,
+    octetstring insbitmask,
+    XI_list xi_list optional,
+    BIT4 padding optional, /* Must be '0000'B */
+    Item_list item_list optional
+  };
+
+  type record Enc_Type_2 /* p.115 */
+  {
+    BIT2 et, /* Must be '10'B */
+    BIT1 gp_bit,
+    BIT1 res,
+    INT4b count,
+    LIN1 gen_id optional,
+    LIN1 ref_id,
+    octetstring rembitmask
+  };
+
+  type record Enc_Type_3 /* p.115 */
+  {
+    BIT2 et, /* Must be '11'B */
+    BIT1 gp_bit,
+    BIT1 ps_bit,
+    INT4b xi1,
+    LIN1 gen_id optional,
+    LIN1 ref_id,
+    octetstring rembitmask,
+    octetstring insbitmask,
+    XI_list xi_list optional,
+    BIT4 padding optional, /* Must be '0000'B */
+    Item_list item_list optional
+  };
+
+  type record IPv4_Static /* p.94 */
+  {
+    INT4b version, /* Must be '0100'B */
+    INT4b reserved, /* Must be '0000'B */
+    LIN1 proto,
+    OCT4 srcaddr,
+    OCT4 dstaddr
+  };
+
+  type record IPv4_Dynamic /* p.94 */
+  {
+    LIN1 tos,
+    LIN1 ttl,
+    LIN2_BO_LAST identification,
+    BIT1 df_bit,
+    BIT1 rnd_bit,
+    BIT1 nbo_bit,
+    BIT5 reserved, /* Must be '00000'B */
+    Enc_Type_0 genextheadlist
+  };
+  
+  type record IPv6_Static /* p.93 */
+  {
+    INT4b version, /* Must be '0110'B */
+    INT20b_BO_LAST flowlabel,
+    LIN1 nexthead,
+    OCT16 srcaddr,
+    OCT16 dstaddr
+  };
+
+  type record IPv6_Dynamic /* p.93 */
+  {
+    LIN1 trafficclass,
+    LIN1 hoplimit,
+    Enc_Type_0 genextheadlist
+  };
+
+  type record UDP_Static /* p.95 */
+  {
+    LIN2_BO_LAST srcport,
+    LIN2_BO_LAST dstport
+  };
+
+  type record UDP_Dynamic /* p.95 */
+  {
+    LIN2_BO_LAST cksum
+  };
+
+  type record RTP_Static /* p.96 */
+  {
+    OCT4 ssrc
+  };
+
+  type record Rx_Field /* p.96 */
+  {
+    BIT3 reserved, /* Must be '000'B */
+    BIT1 xbit,
+    INT2b mode,
+    BIT1 tisbit,
+    BIT1 tssbit
+  };
+
+  type record RTP_Dynamic /* p.96 */
+  {
+    INT2b vfield, /* Must be '10'B */
+    BIT1 pbit,
+    BIT1 rxbit,
+    INT4b ccfield,
+    BIT1 mbit,
+    INT7b ptfield,
+    LIN2_BO_LAST rtpseqnum,
+    LIN4_BO_LAST rtpts,
+    Enc_Type_0 gencsrclist,
+    Rx_Field rx_field optional,
+    integer ts_stride optional,
+    integer time_stride optional
+  };
+
+  type record ESP_Static /* p.97 */
+  {
+    LIN4_BO_LAST spi
+  };
+
+  type record ESP_Dynamic /* p.97 */
+  {
+    LIN4_BO_LAST seqnum
+  };
+
+  type union Compr_head_list /* p.112 */
+  {
+    Enc_Type_0 enctype0,
+    Enc_Type_1 enctype1,
+    Enc_Type_2 enctype2,
+    Enc_Type_3 enctype3
+  };
+  
+  type record IP_Ext_heads /* p.111 */
+  {
+    BIT1 cl,
+    BIT1 aseq,
+    BIT1 eseq,
+    BIT1 gseq,
+    BIT4 res,
+    AEGSeqnum ah_seq optional,
+    AEGSeqnum esp_seq optional,
+    AEGSeqnum gre_seq optional,
+    Compr_head_list compr_head_list optional
+  };
+
+  type record Outer_IP_fields /* p.82 */
+  {
+    LIN1 tos optional,
+    LIN1 ttl optional,
+    LIN1 proto optional,
+    IP_Ext_heads ext_heads optional,
+    LIN2_BO_LAST ip_id optional
+  };
+
+  type record Outer_IP_flags /* p.81 */
+  {
+    BIT1 tos2,
+    BIT1 ttl2,
+    BIT1 df2,
+    BIT1 pr2,
+    BIT1 ipx2,
+    BIT1 nbo2,
+    BIT1 rnd2,
+    BIT1 i2_bit
+  };
+
+  type record Inner_IP_fields /* p.81 */
+  {
+    LIN1 tos optional,
+    LIN1 ttl optional,
+    LIN1 proto optional,
+    IP_Ext_heads ext_heads optional
+  };
+
+  type record Inner_IP_flags /* p.80 */
+  {
+    BIT1 tos,
+    BIT1 ttl,
+    BIT1 df,
+    BIT1 pr,
+    BIT1 ipx,
+    BIT1 nbo,
+    BIT1 rnd_bit,
+    BIT1 ip2_bit
+  };
+
+  type record RTP_flags
+  {
+    BIT1 r_p,
+    INT7b rtp_pt
+  }
+
+  type record RTP_flags_fields /* p.82 */
+  {
+    INT2b mode,
+    BIT1 r_pt,
+    BIT1 m_bit,
+    BIT1 r_x,
+    BIT1 csrc,
+    BIT1 tss,
+    BIT1 tis,
+    RTP_flags flags optional,
+    Compr_head_list csrc_list optional,
+    integer ts_stride optional,
+    integer time_stride optional
+  }
+
+  type record Extension0 /* p.79 */
+  {
+    BIT2 ext_type, /* Must be '00'B */
+    INT3b sn,
+    INT3b plust
+  }
+
+  type record Extension1 /* p.79 */
+  {
+    BIT2 ext_type, /* Must be '01'B */
+    INT3b sn,
+    INT3b plust,
+    LIN1 minust
+  };
+
+  type record Extension2 /* p.79 */
+  {
+    BIT2 ext_type, /* Must be '10'B */
+    INT3b sn,
+    INT11b_BO_LAST plust,
+    LIN1 minust
+  };
+
+  type record Extension3 /* p.79 */
+  {
+    BIT2 ext_type, /* Must be '11'B */
+    BIT1 s_bit,
+    BIT1 r_ts_bit,
+    BIT1 tsc_bit,
+    BIT1 i_bit,
+    BIT1 ip_bit,
+    BIT1 rtp_bit,
+    Inner_IP_flags inner_ip_flags optional,
+    Outer_IP_flags outer_ip_flags optional,
+    LIN1 sn optional,
+    integer ts optional,
+    /* This field contains the length of the SDVL encoded TS value counted in
+      octets. */
+    integer ts_length optional,
+    Inner_IP_fields inner_ip_hdr optional,
+    LIN2_BO_LAST ip_id optional,
+    Outer_IP_fields outer_ip_hdr optional,
+    RTP_flags_fields rtp_fl_fi optional
+  };
+
+  type union Profile1_Extension /* p.79 */
+  {
+    Extension0 ext0,
+    Extension1 ext1,
+    Extension2 ext2,
+    Extension3 ext3
+  };
+
+  //Profile2
+
+  type record Profile2_headers /* p.77 */
+  {
+    Profile2_base_header base_header,
+    Profile2_Extension ext optional,
+    LIN2_BO_LAST ip_id_outer optional,
+    octetstring ah_outer optional,
+    LIN2_BO_LAST gre_cksum1 optional,
+    LIN2_BO_LAST ip_id_inner optional,
+    octetstring ah_inner optional,
+    LIN2_BO_LAST gre_cksum2 optional,
+    LIN2_BO_LAST udp_cksum optional
+  };
+
+  type union Profile2_base_header
+  {
+    Profile2_IR_header ir,
+    Profile2_IR_DYN_header ir_dyn,
+    Profile1_R_0_header r_0,
+    Profile1_R_0_CRC_header r_0_crc,
+    Profile1_UO_0_header uo_0,
+    Profile2_R_1_header r_1,
+    Profile2_UO_1_header uo_1,
+    Profile2_UOR_2_header uor_2
+  };
+
+  type union Profile2_Static_Chain_u
+  {
+    IPv4_Static ipv4_stat,
+    IPv6_Static ipv6_stat,
+    UDP_Static udp_stat
+  };
+
+  type record Profile2_UDP_Dynamic
+  {
+    LIN2_BO_LAST cksum,
+    LIN2_BO_LAST udp_sn
+  };
+
+  type union Profile2_Dynamic_Chain_u
+  {
+    IPv4_Dynamic ipv4_dyn,
+    IPv6_Dynamic ipv6_dyn,
+    Profile2_UDP_Dynamic udp_dyn
+  };
+
+  type record of Profile2_Static_Chain_u Profile2_Static_Chain;
+
+  type record of Profile2_Dynamic_Chain_u Profile2_Dynamic_Chain;
+
+  type record Profile2_IR_header
+  {
+    INT14b_BO_LAST cid,
+    BIT7 type_ind, /* Must be '1111110'B */
+    BIT1 d,
+    LIN1 profile, /* Must be 2 */
+    LIN1 crc,
+    Profile2_Static_Chain stat_chain,
+    Profile2_Dynamic_Chain dyn_chain optional
+  };
+
+  type record Profile2_IR_DYN_header /* p.46 */ /* p.92 */
+  {
+    INT14b_BO_LAST cid,
+    BIT8 type_ind, /* Must be '11111000'B */
+    LIN1 profile, /* Must be 2 */
+    LIN1 crc,
+    Profile2_Dynamic_Chain dyn_chain
+  };
+
+  type record Profile2_R_1_header
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '10'B */
+    INT6b sn,
+    BIT1 x_bit,
+    INT7b ip_id
+  };
+
+  type record Profile2_UO_1_header
+  {
+    INT14b_BO_LAST cid,
+    BIT2 type_ind, /* Must be '10'B */
+    INT6b ip_id,
+    INT5b sn,
+    INT3b crc
+  };
+
+  type record Profile2_UOR_2_header
+  {
+    INT14b_BO_LAST cid,
+    BIT3 type_ind, /* Must be '110'B */
+    INT5b sn,
+    BIT1 x_bit,
+    INT7b crc
+  };
+
+  type record Profile2_Inner_IP_flags
+  {
+    BIT1 tos,
+    BIT1 ttl,
+    BIT1 df,
+    BIT1 pr,
+    BIT1 ipx,
+    BIT1 nbo,
+    BIT1 rnd_bit,
+    BIT1 reserved /* Must be '0'B */
+  };
+
+  type union Profile2_Extension
+  {
+    Profile2_Extension0 ext0,
+    Profile2_Extension1 ext1,
+    Profile2_Extension2 ext2,
+    Profile2_Extension3 ext3
+  };
+
+  type record Profile2_Extension0
+  {
+    BIT2 ext_type, /* Must be '00'B */
+    INT3b sn,
+    INT3b ip_id
+  }
+
+  type record Profile2_Extension1
+  {
+    BIT2 ext_type, /* Must be '01'B */
+    INT3b sn,
+    INT11b_BO_LAST ip_id
+  };
+
+  type record Profile2_Extension2
+  {
+    BIT2 ext_type, /* Must be '10'B */
+    INT3b sn,
+    INT11b_BO_LAST ip_id2,
+    LIN1 ip_id
+  };
+
+  type record Profile2_Extension3
+  {
+    BIT2 ext_type, /* Must be '11'B */
+    BIT1 s_bit,
+    INT2b mode,
+    BIT1 i_bit,
+    BIT1 ip_bit,
+    BIT1 ip2_bit,
+    Profile2_Inner_IP_flags inner_ip_flags optional,
+    Outer_IP_flags outer_ip_flags optional,
+    LIN1 sn optional,
+    Inner_IP_fields inner_ip_hdr optional,
+    LIN2_BO_LAST ip_id optional,
+    Outer_IP_fields outer_ip_hdr optional
+  };
+
+  //Profile4
+
+  type record Profile4_headers
+  {
+    Profile4_base_header base_header,
+    Profile2_Extension ext optional,
+    LIN2_BO_LAST ip_id_outer optional,
+    octetstring ah_outer optional,
+    LIN2_BO_LAST gre_cksum1 optional,
+    LIN2_BO_LAST ip_id_inner optional,
+    octetstring ah_inner optional,
+    LIN2_BO_LAST gre_cksum2 optional,
+    Profile4_Dynamic_Chain additional_IP optional
+  };
+
+  type union Profile4_base_header
+  {
+    Profile4_IR_header ir,
+    Profile4_IR_DYN_header ir_dyn,
+    Profile1_R_0_header r_0,
+    Profile1_R_0_CRC_header r_0_crc,
+    Profile1_UO_0_header uo_0,
+    Profile2_R_1_header r_1,
+    Profile2_UO_1_header uo_1,
+    Profile2_UOR_2_header uor_2
+  };
+
+  type union Profile4_Static_Chain_u
+  {
+    IPv4_Static ipv4_stat,
+    IPv6_Static ipv6_stat
+  };
+  
+  type record Profile4_IPv4_Dynamic
+  {
+    LIN1 tos,
+    LIN1 ttl,
+    LIN2_BO_LAST identification,
+    BIT1 df_bit,
+    BIT1 rnd_bit,
+    BIT1 nbo_bit,
+    BIT1 sid_bit,
+    BIT4 reserved, /* Must be '0000'B */
+    Enc_Type_0 genextheadlist
+  };
+
+  type union Profile4_Dynamic_Chain_u
+  {
+    Profile4_IPv4_Dynamic ipv4_dyn,
+    IPv6_Dynamic ipv6_dyn,
+    LIN2_BO_LAST sn
+  };
+
+  type record of Profile4_Static_Chain_u Profile4_Static_Chain;
+
+  type record of Profile4_Dynamic_Chain_u Profile4_Dynamic_Chain;
+
+  type record Profile4_IR_header
+  {
+    INT14b_BO_LAST cid,
+    BIT7 type_ind, /* Must be '1111110'B */
+    BIT1 d,
+    LIN1 profile, /* Must be 4 */
+    LIN1 crc,
+    Profile4_Static_Chain stat_chain,
+    Profile4_Dynamic_Chain dyn_chain optional
+  };
+
+  type record Profile4_IR_DYN_header
+  {
+    INT14b_BO_LAST cid,
+    BIT8 type_ind, /* Must be '11111000'B */
+    LIN1 profile, /* Must be 4 */
+    LIN1 crc,
+    Profile4_Dynamic_Chain dyn_chain
+  };
+
+} with { encode "RAW" }
+