///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2019 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
//
//  File:               NAS_EPS_Test.ttcn
//  Rev:                <RnXnn>
//  Prodnr:             1/CNL 113 862
//  Contact:            http://ttcn.ericsson.se
//  Reference:          3GPP 24.301 v15.2.0 (24.008 v15.3.0, 24.011 v15.1.0, 24.161 v15.0.0 

module NAS_EPS_Test
{

import from NAS_EPS_Types all;

type component NAS_EPS_Test_CT { }


const PDU_NAS_EPS c_PDU_NAS_EPS_AttachAccept :=
{    
  protocolDiscriminator := '0111'B,
  ePS_messages := {
    ePS_MobilityManagement :={
      pDU_NAS_EPS_AttachAccept := {
        securityHeaderType := '0000'B,
        messageType := '01000010'B,
        ePS_AttachResult := 
        {
          valueOfAttachResult := '111'B,
          spare := '0'B
        },
        spare := '0000'B,
        t3412 := {
          timerValue := '01111'B,
          unit := '001'B
        },
        tAI_List := 
        {
          lengthIndicator := 6,
          trackingAreaIdentityLists :=
          {
            {
              list01 :=
              {
                nrOfElements := 0, 
                typeOfList := '01'B,
                spare := '0'B,  //0
                mccDigit1 := '1'H,
                mccDigit2 := '2'H,
                mccDigit3 := '3'H,
                mncDigit3 := '4'H,
                mncDigit1 := '5'H,
                mncDigit2 := '6'H,  
                tAC1 := 'FFFF'O 
              }
            }
          }
        },
        eSM_MessageContainer :=
        {
          lengthIndicator := 10,
          content := 'AABBCCDDEE0011223344'O 
        },      
        gUTI := 
        { 
          elementIdentifier := '50'O,
          ePS_MobileIdentity := 
          {
            lengthIndicator := 11,
            ePS_MobileIdentity := 
            {
              typeOfIdentity := '110'B,
              oddEvenInd_identity := 
              {
                guti :=  
               {
                 oddevenIndicator := '0'B, 
                  spare := '1111'B,
                  mccDigit1 := '1'H,
                  mccDigit2 := '2'H,
                  mccDigit3 := '3'H,
                  mncDigit3 := '4'H,
                  mncDigit1 := '5'H,
                  mncDigit2 := '6'H,
                  mMEGI := 'AABB'O,
                  mMEC := 'FF'O,
                  mTMSI := 'AABBCCDD'O
                }
              }
            }        
          }
        },
        locationAreaIdentification := 
        {
          elementIdentifier := '13'O,
          mcc_mnc := '112233'O, 
          lac := 'BBBB'O
        },
        msIdentity := omit,
        eMMCause := omit,
        t3402 := omit,
        t3423 := omit,
        equivalentPLMNs := omit,
        emergencyNumberList := omit,
        ePS_NetworkFeatureSupport := omit,
        additionalUpdateResult := 
        {
          additionalUpdateResultValue := '11'B,
          spare := '00'B,
          elementIdentifier := '1111'B
        },
        t3412_Extended :=  
        {
          elementIdentifier := '5E'O,
          lengthIndicator := 1 , 
          gprsTimer3 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        }, 
        t3324 :=
        {
          elementIdentifier := '6A'O,
          lengthIndicator := 1 , 
          gprsTimer2 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        },
        extendedDRXParameters :=
        {
          elementIdentifier := '6E'O,
          lengthIndicator := 1,
          eDRXvalue := '0101'B,
          pagingTimeWindow := '0101'B
        },
        dNCID :=
        {
          elementIdentifier := '65'O,
          lengthIndicator := 2,
          dCNIDvalue := '1234'O
        },
        sMS_ServiceStatus :=
        {
          sMS_ServiceStatusValue := '001'B,
          spare := '0'B,
          elementIdentifier := '1110'B
        },
        non3GPP_NW_ProvidedPolicies :=
        {
          n3EN_Indicator := '1'B,
          spare := '000'B,
          elementIdentifier := '1101'B
        },
        t3448 := 
        {
          elementIdentifier := '6B'O,
          lengthIndicator := 1 , 
          gprsTimer2 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        },
        networkPolicy :=
        {
          redirPolicy := '1'B,
          spare := '000'B,
          elementIdentifier := '1100'B

        },
        t3447 := 
        {
          elementIdentifier := '6C'O, 
          lengthIndicator := 1,
          gprsTimer3 :={
            timerValue := '00111'B,
            unit := '000'B      
          }    
        },
        extendedEmergencyNumberList :=
        {
          elementIdentifier := 'FF'O,
          lengthIndicator := 4,
          extendedEmergencyNumberList :=
          {
            {
              lengthOfExtendedEmergencyNumber := 1,
              extendedEmergencyNumber := '01'O
            },
            {
              lengthOfExtendedEmergencyNumber := 1,
              extendedEmergencyNumber := '02'O
            }
          }
        }
      }
    }
  }
}

const PDU_NAS_EPS c_PDU_NAS_EPS_AttachReject :=
{    
  protocolDiscriminator := '0111'B,
  ePS_messages := {
    ePS_MobilityManagement :={
      pDU_NAS_EPS_AttachReject := {
        securityHeaderType := '0000'B,
        messageType := '01000100'B,
        emmCause := 
        {
          causeValue := 'BB'O
        },
        eSM_MessageContainer := omit,
        t3346  := 
        {
          elementIdentifier := '5F'O,
          lengthIndicator := 1,
          gprsTimer2 := 
          {
            timerValue := '00000'B,
            unit := '011'B
          }    
        },
        t3402 := 
        {
          elementIdentifier := '16'O,
          lengthIndicator := 1,
          gprsTimer2 := 
          {
            timerValue := '11111'B,
            unit := '011'B            
          }            
        },
        extendedEmmCause :=
        {
          eUTRANallowedValue := '1'B,
          ePSoptimizationInfo := '0'B,
          spare := '00'B,
          elementIdentifier := '1010'B
        }
      }
    }
  }
}  

const PDU_NAS_EPS c_PDU_NAS_EPS_AttachRequest :=
{    
  protocolDiscriminator := '0111'B,
  ePS_messages := {
    ePS_MobilityManagement :={
      pDU_NAS_EPS_AttachRequest := {
      securityHeaderType := '0000'B,
      messageType := '01000001'B,
      ePS_attachType :=   
        {
          typeOfAttach := '000'B,
          spare := '0'B
        }, 
        nasKeySetId :=
        {
          identifier := '111'B,
          tSC := '0'B     
        },
        ePSMobileId :=
        {
          lengthIndicator := 11,
          ePS_MobileIdentity :=
          {
            typeOfIdentity := '110'B,
            oddEvenInd_identity := 
            {
              guti :=  
              {
                oddevenIndicator := '0'B, 
                spare := '1111'B,
                mccDigit1 := '1'H,
                mccDigit2 := '2'H,
                mccDigit3 := '3'H,
                mncDigit3 := '4'H,
                mncDigit1 := '5'H,
                mncDigit2 := '6'H,
                mMEGI := 'AABB'O,
                mMEC := 'FF'O,
                mTMSI := 'AABBCCDD'O
              }
            }      
          }    
        },
        uENetworkCapability :=
        {
          lengthIndicator := 7,
          uENetworkCapabilityV := 
          {
            eEA := '00001111'B,
            eIA := '11110000'B,
            uEA := '00110011'B,  
            uIA := '0111110'B,  
            uCS2 := '0'B,  
            nF := '0'B,  
            vCC := '0'B,  
            lCS := '0'B,  
            lPP := '0'B,  
            aCC_CSFB := '0'B,
            h245_ASH := '0'B,
            proSe := '0'B,
            proSe_dd := '0'B,
            proSe_dc := '0'B,
            proSe_relay := '0'B, 
            cP_CIoT := '0'B,
            uP_CIoT := '0'B,
            s1_Udata := '0'B,
            eRwoPDN := '0'B,
            hC_CP_CIoT := '0'B,
            ePCO := '0'B,
            multipleDRB := '0'B,
            v2XPC5 := '0'B,
            restrictEC := '0'B,
            cPbackoff := '0'B,
            dCNR := '0'B,
            n1Mode := '0'B,
            sGC := '0'B,
            spare1 := '0'B,
            spare := omit
          }
        },
        eSM_MessageContainer := 
        {
          lengthIndicator := 2,
          content := 'FFFF'O    
        },
        old_P_TMSISignature := omit,
        additionalGUTI := omit,
        lastVisitedRegisteredTAI := omit,
        dRXParameter := omit,
        mSNetworkCapability := 
        {
          elementIdentifier := '31'O,
          mSNetworkCapabilityLV := 
          {
            lengthIndicator := 4,
            msNetworkCapabilityV :=
            {
              gea1bit := '0'B,
              smCapabilitiesviaDedicatedChannels := '0'B,
              smCapabilitiesviaGPRSChannels := '0'B,
              ucs2Support := '0'B,
              ssScreeningIndicator := '00'B,
              solSACapability := '0'B,
              revisionLevelIndicatior := '0'B,
              pFCFeatureMode := '0'B,
              extendedGEAbits := '000111'B,
              lcsVAcapability := '0'B,
              pSInterRATHOtoUTRANIuModeCapability := '0'B,
              pSInterRATHOtoEUTRANS1ModeCapability := '0'B,
              eMMCombinedProceduresCapability := '0'B,
              iSRSupport := '0'B,
              sRVCCtoGERANUTRANCapability := '0'B,
              epcCapability := '0'B,
              nFCapability := '0'B,
              gERANNwSharingCapability := '0'B,
              userPlaneIntegrityProtectionSupport := '0'B,
              gIA4 := '0'B,
              gIA5 := '0'B,
              gIA6 := '0'B,
              gIA7 := '0'B,
              ePCOIEIndicator := '0'B,
              restrictionOnUseOfEnhancedCoverageCapability := '0'B,
              dualConnectivityOfEUTRANwithNRCapability := '0'B,
              spare_octets := omit
            }
          }
        },
        oldLocationAreaIdentification := omit,
        tMSIStatusTV := omit,
        mobileStationClassmark2 := omit,
        mobileStationClassmark3 := omit,
        supportedCodecList := omit,
        additionalUpdateType := omit,
        voiceDomainPrefandUEsettings := omit,
        deviceProperties := 
        {
          lowPriority := '1'B,
          spare := '000'B,
          elementIdentifier := '1101'B    
        },
        oldGUTI_Type := 
        {
          gUTI_Type := '0'B,
          spare := '000'B,
          elementIdentifier  := '1110'B    
        },
        mS_NetworkFeatureSupport :=
        {
          extendedPeriodicTimers := '1'B,
          spare := '000'B,
          elementIdentifier := '1100'B    
        },
        tMSIBasedNRIContainer :=
        {
          elementIdentifier := '10'O,
          networkResourceIdentifierContainerLV := 
          {
            lengthIndicator := 2 , 
            networkResourceIdentifierContainerV :=
            {
              nRIContainerValue := '1111111111'B,
              spare := '000000'B
            }
          }
        },
        t3324 :=
        {
          elementIdentifier := '6A'O,
          lengthIndicator := 1 , 
          gprsTimer2 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        },
        t3412_Extended :=  
        {
          elementIdentifier := '5E'O,
          lengthIndicator := 1 , 
          gprsTimer3 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        },
        extendedDRXParameters :=
        {
          elementIdentifier := '6E'O,
          lengthIndicator := 1,
          eDRXvalue := '0101'B,
          pagingTimeWindow := '0101'B
        },
        uEAdditionalSecurityCapability :=
        {
          elementIdentifier := '6F'O,
          lengthIndicator := 4,
          uEAdditionalSecurityCapabilityV :=
          {
            fiveG_eA7 := '0'B,    
            fiveG_eA6 := '0'B,    
            fiveG_eA5 := '0'B,    
            fiveG_eA4 := '0'B,    
            fiveG_eA3_128 := '0'B,    
            fiveG_eA2_128 := '0'B,    
            fiveG_eA1_128 := '0'B,    
            fiveG_eA0 := '0'B,    
            fiveG_eA15 := '0'B,    
            fiveG_eA14 := '0'B,    
            fiveG_eA13 := '0'B,    
            fiveG_eA12 := '0'B,    
            fiveG_eA11 := '0'B,    
            fiveG_eA10 := '0'B,    
            fiveG_eA9 := '0'B,    
            fiveG_eA8 := '0'B,    
            fiveG_iA7 := '0'B,    
            fiveG_iA6 := '0'B,    
            fiveG_iA5 := '0'B,    
            fiveG_iA4 := '0'B,    
            fiveG_iA3_128 := '0'B,    
            fiveG_iA2_128 := '0'B,    
            fiveG_iA1_128 := '0'B,    
            fiveG_iA0 := '0'B,    
            fiveG_iA15 := '0'B,    
            fiveG_iA14 := '0'B,    
            fiveG_iA13 := '0'B,    
            fiveG_iA12 := '0'B,    
            fiveG_iA11 := '0'B,    
            fiveG_iA10 := '0'B,    
            fiveG_iA9 := '0'B,    
            fiveG_iA8 := '0'B 
          }
        }
      }
    }
  }
}  


const PDU_NAS_EPS c_PDU_NAS_EPS_TrackingAreaUpdateAccept :=
{    
  protocolDiscriminator := '0111'B,
  ePS_messages := {
    ePS_MobilityManagement :={
      pDU_NAS_EPS_TrackingAreaUpdateAccept := {
        securityHeaderType := '0000'B,
        messageType := '01001001'B,
        updateResult := 
        {
          valueOfUpdateResult := '111'B,
          spare := '0'B
        },
        spareHalfOctet := '0000'B,
        t3412 := 
        {
          elementIdentifier := '5A'O,
          gprsTimer := 
          {
            timerValue := '11111'B,
            unit := '011'B            
          }
        },
        gUTI := omit,         
        tAI_List := omit,       
        ePSBearerContextStatus  := omit,   
        locationAreaIdentification := omit,
        msIdentity := omit,       
        eMMCause := omit,       
        t3402 :=
        {
          elementIdentifier := '17'O,
          gprsTimer :=
          {
            timerValue := '11111'B,
            unit:= '011'B  
          }
        },        
        t3423 :=
        {
          elementIdentifier := '59'O,
          gprsTimer :=
          {
            timerValue := '11111'B,
            unit:= '011'B  
          }    
        },        
        equivalentPLMNs := omit,     
        emergencyNumberList := omit,     
        ePS_NetworkFeatureSupport := omit, 
        additionalUpdateResult  := omit,    
        t3412_Extended :=
        {
          elementIdentifier := '5E'O,
          lengthIndicator := 1, 
          gprsTimer3  :=   
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        },     
        t3324 :=
        {
          elementIdentifier := '6A'O,
          lengthIndicator := 1, 
          gprsTimer2 :=
          {
            timerValue := '11111'B,
            unit:= '011'B  
          }    
        },
        extendedDRXParameters :=
        {
          elementIdentifier := '6E'O,
          lengthIndicator := 1,
          eDRXvalue := '0101'B,
          pagingTimeWindow := '0101'B
        },
        headerCompressionConfigurationStatus :=
        {
          elementIdentifier := '68'O,
          lengthIndicator := 2,
          headerCompressionConfigurationStatus := 
          {
            ebi0 := '1'B,
            ebi1 := '1'B,
            ebi2 := '1'B,
            ebi3 := '1'B,
            ebi4 := '1'B,
            ebi5 := '1'B,
            ebi6 := '1'B,
            ebi7 := '1'B,
            ebi8 := '1'B,
            ebi9 := '1'B,
            ebi10 := '1'B,
            ebi11 := '1'B,
            ebi12 := '1'B,
            ebi13 := '1'B,
            ebi14 := '1'B,
            ebi15 := '1'B
          }
        },
        dNCID :=
        {
          elementIdentifier := '65'O,
          lengthIndicator := 2,
          dCNIDvalue := '1234'O
        },
        sMS_ServiceStatus :=
        {
          sMS_ServiceStatusValue := '001'B,
          spare := '0'B,
          elementIdentifier := '1110'B
        },
        non3GPP_NW_ProvidedPolicies :=
        {
          n3EN_Indicator := '1'B,
          spare := '000'B,
          elementIdentifier := '1101'B
        },
        t3448 := 
        {
          elementIdentifier := '6B'O,
          lengthIndicator := 1 , 
          gprsTimer2 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        },
        networkPolicy :=
        {
          redirPolicy := '1'B,
          spare := '000'B,
          elementIdentifier := '1100'B

        },
        t3447 := 
        {
          elementIdentifier := '6C'O, 
          lengthIndicator := 1,
          gprsTimer3 :={
            timerValue := '00111'B,
            unit := '000'B      
          }    
        },
        extendedEmergencyNumberList :=
        {
          elementIdentifier := 'FF'O,
          lengthIndicator := 4,
          extendedEmergencyNumberList :=
          {
            {
              lengthOfExtendedEmergencyNumber := 1,
              extendedEmergencyNumber := '01'O
            },
            {
              lengthOfExtendedEmergencyNumber := 1,
              extendedEmergencyNumber := '02'O
            }
          }
        }
      }
    }
  }
}    
    
    
const PDU_NAS_EPS c_PDU_NAS_EPS_TrackingAreaUpdateReject :=
{    
  protocolDiscriminator := '0111'B,
  ePS_messages := {
    ePS_MobilityManagement :={
      pDU_NAS_EPS_TrackingAreaUpdateReject := {
        securityHeaderType := '0000'B,
        messageType := '01001011'B,
        emmCause:=
        {
          causeValue := '12'O
        },
        t3346 := {
          elementIdentifier := '5F'O,
          lengthIndicator := 1,
          gprsTimer2 := 
          {
            timerValue := '11111'B,
            unit := '011'B            
          }            
        },     
        extendedEmmCause :=
        {
          eUTRANallowedValue := '1'B,
          ePSoptimizationInfo := '0'B,
          spare := '00'B,
          elementIdentifier := '1010'B
        }
      }
    }
  } 
}

const PDU_NAS_EPS c_PDU_NAS_EPS_TrackingAreaUpdateRequest :=
{    
  protocolDiscriminator := '0111'B,
  ePS_messages := {
    ePS_MobilityManagement :={
      pDU_NAS_EPS_TrackingAreaUpdateRequest := {
        securityHeaderType := '0000'B,
        messageType := '01001000'B,
        ePSupdateType := 
        {
          typeOfUpdate := '111'B,
          activeFlag := '0'B
        },
        nasKeySetId := {
          identifier := '111'B,
          tSC := '0'B    
        },
        oldGUTI := {
          lengthIndicator := 11,
          ePS_MobileIdentity  :=
          {
            typeOfIdentity := '110'B,
            oddEvenInd_identity := 
            {
              guti :=  
              {
                oddevenIndicator := '0'B, 
                spare := '1111'B,
                mccDigit1 := '1'H,
                mccDigit2 := '2'H,
                mccDigit3 := '3'H,
                mncDigit3 := '4'H,
                mncDigit1 := '5'H,
                mncDigit2 := '6'H,
                mMEGI := 'AABB'O,
                mMEC := 'FF'O,
                mTMSI := 'AABBCCDD'O
              }
            }      
          }  
        },
        nonCurrentNative_nasKeySetId := omit, 
        gprsCipheringKeySequenceNumber := omit, 
        old_P_TMSISignature := omit,          
        additionalGUTI := omit,           
        nonce := omit,              
        uENetworkCapability := omit,          
        lastVisitedRegisteredTAI  := omit,      
        dRXParameter   := omit,          
        uE_RadioCapabilityInfoUpdateNeeded := omit, 
        ePSBearerContextStatus  := omit,          
        mSNetworkCapability := omit,          
        oldLocationAreaIdentification := omit,  
        tMSIStatusTV   := omit,          
        mobileStationClassmark2 := omit,        
        mobileStationClassmark3  := omit,       
        supportedCodecList := omit,          
        additionalUpdateType   := omit,        
        voiceDomainPrefandUEsettings := omit,   
        oldGUTI_Type :=  {
          gUTI_Type := '0'B,
          spare := '000'B,
          elementIdentifier  := '1110'B    
        },        
        deviceProperties := {
          lowPriority := '1'B,
          spare := '000'B,
          elementIdentifier := '1101'B    
        },        
        mS_NetworkFeatureSupport := {
          extendedPeriodicTimers := '1'B,
          spare := '000'B,
          elementIdentifier := '1100'B    
        },     
        tMSIBasedNRIContainer :=
        {
          elementIdentifier := '10'O,
          networkResourceIdentifierContainerLV := 
          {
            lengthIndicator := 2 , 
            networkResourceIdentifierContainerV :=
            {
              nRIContainerValue := '1111111111'B,
              spare := '000000'B
            }
          }
        },
        t3324 :=
        {
          elementIdentifier := '6A'O,
          lengthIndicator := 1 , 
          gprsTimer2 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        },
        t3412_Extended :=  
        {
          elementIdentifier := '5E'O,
          lengthIndicator := 1 , 
          gprsTimer3 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        },
        extendedDRXParameters :=
        {
          elementIdentifier := '6E'O,
          lengthIndicator := 1,
          eDRXvalue := '0101'B,
          pagingTimeWindow := '0101'B
        }, 
        uEAdditionalSecurityCapability :=
        {
          elementIdentifier := '6F'O,
          lengthIndicator := 4,
          uEAdditionalSecurityCapabilityV :=
          {
            fiveG_eA7 := '0'B,    
            fiveG_eA6 := '0'B,    
            fiveG_eA5 := '0'B,    
            fiveG_eA4 := '0'B,    
            fiveG_eA3_128 := '0'B,    
            fiveG_eA2_128 := '0'B,    
            fiveG_eA1_128 := '0'B,    
            fiveG_eA0 := '0'B,    
            fiveG_eA15 := '0'B,    
            fiveG_eA14 := '0'B,    
            fiveG_eA13 := '0'B,    
            fiveG_eA12 := '0'B,    
            fiveG_eA11 := '0'B,    
            fiveG_eA10 := '0'B,    
            fiveG_eA9 := '0'B,    
            fiveG_eA8 := '0'B,    
            fiveG_iA7 := '0'B,    
            fiveG_iA6 := '0'B,    
            fiveG_iA5 := '0'B,    
            fiveG_iA4 := '0'B,    
            fiveG_iA3_128 := '0'B,    
            fiveG_iA2_128 := '0'B,    
            fiveG_iA1_128 := '0'B,    
            fiveG_iA0 := '0'B,    
            fiveG_iA15 := '0'B,    
            fiveG_iA14 := '0'B,    
            fiveG_iA13 := '0'B,    
            fiveG_iA12 := '0'B,    
            fiveG_iA11 := '0'B,    
            fiveG_iA10 := '0'B,    
            fiveG_iA9 := '0'B,    
            fiveG_iA8 := '0'B 
          }
        },
        uEStatus :=
        {
          elementIdentifier := '6D'O,
          lengthIndicator := 1,
          uEStatusV :=
          {
            s1ModeReg := '0'B,
            n1ModeReg := '0'B,
            spare := '00000'B
          }
        }
      }
    }
  }
}

const PDU_NAS_EPS c_PDU_NAS_EPS_ActDedEPSBearerContextRequest :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
      pDU_NAS_EPS_ActDedEPSBearerContextRequest := {
        ePSBearerIdentity := '0000'B,
        procedureTransactionIdentifier := '00000000'B,
        messageType := '11000101'B,
        linked_EPS_BearerIdentity := 
        {
          linked_EPS_BearerIdentityValue := '1111'B
        },
        spareHalfOctet := '0000'B,
        ePS_QoS := {
          lengthIndicator := 1,
          ePS_QualityOfServiceV :=
          {
            qCI := 'AA'O, 
            maxBitRateUplink := omit,      
            maxBitRateDownlink := omit,      
            guaranteedBitRateUplink := omit,     
            guaranteedBitRateDownlink := omit,   
            maxBitRateUplinkExt := omit,      
            maxBitRateDownlinkExt := omit,      
            guaranteedBitRateUplinkExt := omit,  
            guaranteedBitRateDownlinkExt := omit,      
            maxBitRateUplinkExt2 := omit,
            maxBitRateDownlinkExt2 := omit,
            guaranteedBitRateUplinkExt2 := omit,
            guaranteedBitRateDownlinkExt2 := omit
          }
        },
        trafficFlowTemplate := 
        {
          lengthIndicator := 1,
          valueField :=
          {
            trafficFlowTemplateV_Delete_Existing_TFT_or_No_TFT_Operation :=
            {
              numberOfPacketFilters := '0000'B,
              eBIT := '0'B,
              operationCodeTFT := '010'B,
              parametersList := omit  
            }
          }
        },
        transactionIdentifier := omit,
        negotiatedQoS  :=   
        {
          elementIdentifier := '30'O,
          qoSLV :=
          {
            lengthIndicator := 20,
            qoSV :=
            {
              reliabilityClass := '010'B,
              delayClass := '010'B,
              spare1 := '00'B,
              precedenceClass := '010'B,
              spare2 := '0'B,
              peakThroughput := '1010'B,
              meanThroughput := '10101'B,
              spare3 := '000'B,
              deliverErroneusSDU  := '000'B,           
              deliveryOrder := '00'B,                 
              trafficClass := '000'B,                  
              maxSDUSize := '00'O,                  
              maxBitrateUplink := '00'O,               
              maxBitrateDownlink  := '00'O,            
              sduErrorRatio := '0000'B,                 
              residualBER := '0000'B,                   
              trafficHandlingPriority := '00'B,        
              transferDelay := '000000'B,                 
              guaranteedBitRateUplink := '00'O,        
              guaranteedBitRateDownlink := '00'O,      
              sourceStatisticsDescriptor := '0000'B,    
              signallingIndication := '0'B,           
              spare4 := '000'B,                        
              maxBitrateDownlinkExt := '00'O,          
              guaranteedBitRateDownlinkExt := '00'O,   
              maxBitrateUplinkExt := '00'O,            
              guaranteedBitRateUplinkExt := '00'O,     
              maxBitrateDownlinkExt2 := '00'O,         
              guaranteedBitRateDownlinkExt2 := '00'O,  
              maxBitrateUplinkExt2 := '00'O,           
              guaranteedBitRateUplinkExt2 := '00'O  
            }
          }
        },
        negotiated_LLC_SAPI := omit, 
        radioPriority := omit,        
        packetFlowID := omit,        
        protocolConfigOptions := omit,
        wLANOffloadIndication :=
        {
          valueField := 
          {
            eUTRAN_offloadAcceptabilityValue := '0'B,
            uTRAN_offloadAcceptabilityValue := '1'B,
            spare := '00'B 
          },
          elementIdentifier := '1100'B 
        },
        nBIFOMContainer := 
        {
          elementIdentifier := '33'O,
          lengthIndicator := 3,
          contents :=
          {{
            parameterIdentifier := '01'O,
            lengthIndicator := 1,
            parameterContents := 
            {
              nBIFOM_Mode := '11'O
            }
          }}           
        },
        extendedProtocolConfigurationOptions := omit,
        extendedQoS :=
        {
          elementIdentifier := '5C'O, 
          lengthIndicator := 10,
          extended_QoS_Value :=
          {
            unit_MaxBitRate := '00'O,
            maxBitRate_Uplink := '0002'O,
            maxBitRate_Downlink := '0002'O,
            unit_GuaranteedBitRate := '00'O,
            guaranteedBitRate_Uplink := '0002'O,
            guaranteedBitRate_Downlink := '0002'O
          }
        }
      } 
    }
  }   
}

const PDU_NAS_EPS c_PDU_NAS_EPS_ActDefEPSBearerContextRequest :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
      pDU_NAS_EPS_ActDefEPSBearerContextRequest := {
        ePSBearerIdentity := '0000'B,
        procedureTransactionIdentifier := '00000000'B,
        messageType := '11000001'B,
        ePS_QoS := {
          lengthIndicator := 1,
          ePS_QualityOfServiceV :=
          {
            qCI := 'AA'O, 
            maxBitRateUplink := omit,      
            maxBitRateDownlink := omit,      
            guaranteedBitRateUplink := omit,     
            guaranteedBitRateDownlink := omit,   
            maxBitRateUplinkExt := omit,      
            maxBitRateDownlinkExt := omit,      
            guaranteedBitRateUplinkExt := omit,  
            guaranteedBitRateDownlinkExt := omit,
            maxBitRateUplinkExt2 := omit,
            maxBitRateDownlinkExt2 := omit,
            guaranteedBitRateUplinkExt2 := omit,
            guaranteedBitRateDownlinkExt2 := omit
          }
        },  
        accessPointName :=
        {
          lengthIndicator := 3,
          accessPointNameValue := 'AABBCC'O
        },
        pDN_Address :=
        {
          lengthIndicator := 5,
          typeValue := '111'B,
          spare := '00000'B,
          addressInformation := '01010101'O
        },
        transactionIdentifier := omit,
        negotiatedQoS  := omit,     
        negotiated_LLC_SAPI := omit, 
        radioPriority := omit,        
        packetFlowID := omit,        
        aPN_AMBR := omit,        
        esmCause := omit,        
        protocolConfigOptions := omit, 
        connectivityType  := {
          connectivityTypeValue := '0001'B,
          elementIdentifier := '1011'B
        },
        wLANOffloadIndication :=
        {
          valueField := 
          {
            eUTRAN_offloadAcceptabilityValue := '0'B,
            uTRAN_offloadAcceptabilityValue := '1'B,
            spare := '00'B 
          },
          elementIdentifier := '1100'B 
        },
        nBIFOMContainer := 
        {
          elementIdentifier := '33'O,
          lengthIndicator := 3,
          contents :=
          {{
            parameterIdentifier := '01'O,
            lengthIndicator := 1,
            parameterContents := 
            {
              nBIFOM_Mode := '11'O
            }
          }}           
        },
        headerCompressinConfiguration := 
        {
          elementIdentifier := '66'O,
          lengthIndicator := 3,
          headerCompressinConfiguration := 
          {
            p0x0002 := '1'B,
            p0x0003 := '1'B,
            p0x0004 := '1'B,
            p0x0006 := '1'B,
            p0x0102 := '1'B,
            p0x0103 := '1'B,
            p0x0104 := '1'B,
            spare := '0'B,
            max_CID := '0001'O,
            additionalHeaderCompression := omit
          }
        }, 
        controlPlaneOnlyIndication := 
        {
          cPOI := '1'B,
          spare := '000'B,
          elementIdentifier := '1001'B
        },
        extendedProtocolConfigurationOptions := omit,
        servingPLMNRateControl := 
        {
          elementIdentifier := '6E'O,
          lengthIndicator := 2,
          servingPLMNRateControlValue := 5
        },
        extended_APN_AMBR :=
        {
          elementIdentifier := '5F'O, 
          lengthIndicator := 6,
          extended_APN_AMBR_Value :=
          {
            unit_Extended_APN_AMBR_Downlink := '00'O,
            extended_APN_AMBR_Downlink := '0001'O,
            unit_Extended_APN_AMBR_Uplink := '00'O,
            extended_APN_AMBR_Uplink := '0001'O
          }
        },
        extendedQoS :=
        {
          elementIdentifier := '5C'O, 
          lengthIndicator := 10,
          extended_QoS_Value :=
          {
            unit_MaxBitRate := '00'O,
            maxBitRate_Uplink := '0002'O,
            maxBitRate_Downlink := '0002'O,
            unit_GuaranteedBitRate := '00'O,
            guaranteedBitRate_Uplink := '0002'O,
            guaranteedBitRate_Downlink := '0002'O
          }
        }
      } 
    }
  }   
}

const PDU_NAS_EPS c_PDU_NAS_EPS_BearerResourceAllocationReject :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
      pDU_NAS_EPS_BearerResourceAllocationReject := {
        ePSBearerIdentity := '0000'B,
        procedureTransactionIdentifier := '00000000'B,
        messageType := '11010101'B,
        esmCause :=
        {
          causeValue := '11'O
        },
        protocolConfigOptions := omit,
        backOffTimer := {
          elementIdentifier := '37'O, 
          lengthIndicator := 1,
          gprsTimer3 :={
            timerValue := '00111'B,
            unit := '000'B      
          }    
        },
        reAttemptIndicator :=
        {
          elementIdentifier := '6B'O,
          reAttemptIndicatorLV :=
          {
            lengthIndicator := 1,
            valueField := 
            {
              rATC := '1'B,
              ePLMNC := '1'B,
              spare := '000000'B
            }
          }
        }, 
        nBIFOMContainer := 
        {
          elementIdentifier := '33'O,
          lengthIndicator := 3,
          contents :=
          {{
            parameterIdentifier := '01'O,
            lengthIndicator := 1,
            parameterContents := 
            {
              nBIFOM_Mode := '11'O
            }
          }}           
        },
        extendedProtocolConfigurationOptions := omit
      } 
    }
  }   
}

const PDU_NAS_EPS c_PDU_NAS_EPS_BearerResourceModificationReject :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
      pDU_NAS_EPS_BearerResourceModificationReject := {
        ePSBearerIdentity := '0000'B,
        procedureTransactionIdentifier := '00000000'B,
        messageType := '11010111'B,
        esmCause := 
        {
          causeValue := '11'O
        },
        protocolConfigOptions := omit,
        backOffTimer := {
          elementIdentifier := '37'O, 
          lengthIndicator := 1,
          gprsTimer3 :={
            timerValue := '00111'B,
            unit := '000'B      
          }    
        },
        reAttemptIndicator :=
        {
          elementIdentifier := '6B'O,
          reAttemptIndicatorLV :=
          {
            lengthIndicator := 1,
            valueField := 
            {
              rATC := '1'B,
              ePLMNC := '1'B,
              spare := '000000'B
            }
          }
        }, 
        nBIFOMContainer := 
        {
          elementIdentifier := '33'O,
          lengthIndicator := 3,
          contents :=
          {{
            parameterIdentifier := '01'O,
            lengthIndicator := 1,
            parameterContents := 
            {
              nBIFOM_Mode := '11'O
            }
          }}           
        },
        extendedProtocolConfigurationOptions := omit 
      }
    }
  }
}

const PDU_NAS_EPS c_PDU_NAS_EPS_DeactEPSBearerContextRequest :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
      pDU_NAS_EPS_DeactEPSBearerContextRequest := {
        ePSBearerIdentity := '0000'B,
        procedureTransactionIdentifier := '00000000'B,
        messageType := '11001101'B,
        esmCause := 
        {
          causeValue := '11'O
        },
        protocolConfigOptions := omit,
        t3396 := {
          elementIdentifier := '37'O, 
          lengthIndicator := 1,
          gprsTimer3 :={
            timerValue := '00111'B,
            unit := '000'B      
          }    
        },
        wLANOffloadIndication :=
        {
          valueField := 
          {
            eUTRAN_offloadAcceptabilityValue := '0'B,
            uTRAN_offloadAcceptabilityValue := '1'B,
            spare := '00'B 
          },
          elementIdentifier := '1100'B 
        }, 
        nBIFOMContainer := 
        {
          elementIdentifier := '33'O,
          lengthIndicator := 3,
          contents :=
          {{
            parameterIdentifier := '01'O,
            lengthIndicator := 1,
            parameterContents := 
            {
              nBIFOM_Mode := '11'O
            }
          }}           
        },
        extendedProtocolConfigurationOptions := omit 
      }
    }
  }
}

const PDU_NAS_EPS c_PDU_NAS_EPS_ModifyEPSBearerContextRequest := {
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement := {
      pDU_NAS_EPS_ModifyEPSBearerContextRequest := {
        ePSBearerIdentity := '0001'B,
        procedureTransactionIdentifier := '01010101'B,
        messageType := '11001001'B,
        newEPS_QoS := {
          elementIdentifier := '5B'O,
          lengthIndicator := 1,
          ePS_QualityOfServiceV := {
            qCI := 'AB'O,
            maxBitRateUplink := omit,
            maxBitRateDownlink := omit,
            guaranteedBitRateUplink := omit,
            guaranteedBitRateDownlink := omit,
            maxBitRateUplinkExt := omit,
            maxBitRateDownlinkExt := omit,
            guaranteedBitRateUplinkExt := omit,
            guaranteedBitRateDownlinkExt := omit,
            maxBitRateUplinkExt2 := omit,
            maxBitRateDownlinkExt2 := omit,
            guaranteedBitRateUplinkExt2 := omit,
            guaranteedBitRateDownlinkExt2 := omit
          }
        },
        trafficFlowTemplate := omit,
        new_QoS := omit,
        negotiated_LLC_SAPI := omit,
        radioPriority := omit,
        packetFlowID := omit,
        aPN_AMBR := omit,
        protocolConfigOptions := omit,
        wLANOffloadIndication :=
        {
          valueField := 
          {
            eUTRAN_offloadAcceptabilityValue := '0'B,
            uTRAN_offloadAcceptabilityValue := '1'B,
            spare := '00'B 
          },
          elementIdentifier := '1100'B 
        }, 
        nBIFOMContainer := 
        {
          elementIdentifier := '33'O,
          lengthIndicator := 3,
          contents :=
          {{
            parameterIdentifier := '01'O,
            lengthIndicator := 1,
            parameterContents := 
            {
              nBIFOM_Mode := '11'O
            }
          }}           
        },
        headerCompressinConfiguration := omit,
        extendedProtocolConfigurationOptions := omit,
        extended_APN_AMBR :=
        {
          elementIdentifier := '5F'O, 
          lengthIndicator := 6,
          extended_APN_AMBR_Value :=
          {
            unit_Extended_APN_AMBR_Downlink := '00'O,
            extended_APN_AMBR_Downlink := '0001'O,
            unit_Extended_APN_AMBR_Uplink := '00'O,
            extended_APN_AMBR_Uplink := '0001'O
          }
        },
        extendedQoS :=
        {
          elementIdentifier := '5C'O, 
          lengthIndicator := 10,
          extended_QoS_Value :=
          {
            unit_MaxBitRate := '00'O,
            maxBitRate_Uplink := '0002'O,
            maxBitRate_Downlink := '0002'O,
            unit_GuaranteedBitRate := '00'O,
            guaranteedBitRate_Uplink := '0002'O,
            guaranteedBitRate_Downlink := '0002'O
          }
        }
      }
    } 
  }
};


const PDU_NAS_EPS c_PDU_NAS_EPS_PDN_ConnectivityReject :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
      pDU_NAS_EPS_PDN_ConnectivityReject := {
        ePSBearerIdentity := '0000'B,
        procedureTransactionIdentifier := '00000000'B,
        messageType := '11010001'B,
        esmCause := 
        {
          causeValue := '11'O
        },
        protocolConfigOptions := omit,
        backOffTimer := {
          elementIdentifier := '37'O, 
          lengthIndicator := 1,
          gprsTimer3 :={
            timerValue := '00111'B,
            unit := '000'B      
          }    
        },
        reAttemptIndicator :=
        {
          elementIdentifier := '6B'O,
          reAttemptIndicatorLV :=
          {
            lengthIndicator := 1,
            valueField := 
            {
              rATC := '1'B,
              ePLMNC := '1'B,
              spare := '000000'B
            }
          }
        },
        nBIFOMContainer := omit,
        extendedProtocolConfigurationOptions := omit
      }
    }
  }
}

const PDU_NAS_EPS c_PDU_NAS_EPS_RemoteUEReport :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
       pDU_NAS_EPS_RemoteUEReport := {
        ePSBearerIdentity := '0000'B,
        procedureTransactionIdentifier := '00000000'B,
        messageType := '11101001'B,
        remoteUEContextConnected :=
        {
          elementIdentifier := '79'O,
          lengthIndicator := 8,
          nrOfContents := 1,
          contents :=
          {{
            lengthIndicator := 6,
            numberOfUserIDs := 1,
            userIDList :=
            {
              {
                lengthIndicator := 4,
                typeOfUserInfo := '011'B,
                digits :=
                {
                  mSISDN :=
                  {
                    oddevenIndicator := '1'B,       
                    digits := '00ABCDE'H,
                    fillerDigit := omit
                  }
                }
              }
            },
            addressType := omit,
            spare := omit,
            addressInformation := omit
          }}
        },
        remoteUEContextDisconnected :=
        {
          elementIdentifier := '7A'O,
          lengthIndicator := 8,
          nrOfContents := 1,
          contents :=
          {{
           lengthIndicator := 6,
            numberOfUserIDs := 1,
            userIDList :=
            {
              {
                lengthIndicator := 4,
                typeOfUserInfo := '010'B,
                digits :=
                {
                  iMSI :=
                  {
                    oddevenIndicator := '1'B,       
                    digits := '00ABCDE'H,
                    fillerDigit := omit
                  }
                }
              }
            },
            addressType := omit,
            spare := omit,
            addressInformation := omit
          }}
        },
        proSeKeyManagementFunctionAddress :=
        {
          elementIdentifier := '6F'O,
          lengthIndicator := 5,
          addressType := '001'B,
          spare := '00000'B,
          addressInformation := 
          {
            ipv4 := '7F000001'O
          }
        }
      } 
    }
  }   
}

const PDU_NAS_EPS c_PDU_NAS_EPS_RemoteUEReportResponse :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
       pDU_NAS_EPS_RemoteUEReportResponse := {
         ePSBearerIdentity := '0000'B,
         procedureTransactionIdentifier := '00000000'B,
         messageType := '11101010'B
      } 
    }
  }   
}

const PDU_NAS_EPS c_PDU_NAS_EPS_ESMDataTransport :=
{    
  protocolDiscriminator := '0010'B,
  ePS_messages := {
    ePS_SessionManagement :={
      pDU_NAS_EPS_ESMDataTransport := {
        ePSBearerIdentity := '0000'B,
        procedureTransactionIdentifier := '00000000'B,
        messageType := '11101011'B,
        userDataContainer :=
        {
          lengthIndicator := 1,
          contents := '00'O
        },
        releaseAssistanceIndication :=
        {
          dDX := '00'B,
          spare := '00'B,
          elementIdentifier := '1111'B
        }
      } 
    }
  }   
}

const PDU_NAS_EPS c_PDU_NAS_EPS_DataServiceRequest :=
{    
  protocolDiscriminator := '0111'B,
  ePS_messages := {
    ePS_MobilityManagement :={
      pDU_NAS_EPS_ControlPlaneServiceRequest := {
        securityHeaderType := '0000'B,
        messageType := '01001101'B,
        controlPlaneServiceType :=
        {
          controlPlaneServiceTypeValue := '001'B,
          activeFlag := '0'B
        },
        nASKeySetIdentifier :=
        {
          identifier := '001'B,
          tSC := '1'B
        },
        eSM_MessageContainer := 
        {
          elementIdentifier := '78'O,
          eSM_MessageContainer :=
          {
            lengthIndicator := 2,
            content := 'FFFF'O
          }
        },
        nAS_MessageContainer := omit,
        ePS_BearerContextStatus := omit,
        deviceProperties := 
        {
          lowPriority := '1'B,
          spare := '000'B,
          elementIdentifier := '1101'B    
        }
      }
    }
  }
}  

const PDU_NAS_EPS c_PDU_NAS_EPS_ServiceAccept :=
{    
  protocolDiscriminator := '0111'B,
  ePS_messages := {
    ePS_MobilityManagement :={
      pDU_NAS_EPS_ServiceAccept := {
        securityHeaderType := '0000'B,
        messageType := '01001111'B,
        ePS_BearerContextStatus := 
        {
          elementIdentifier := '57'O,
          lengthIndicator := 2,
          ebi0 := '1'B,
          ebi1 := '1'B,
          ebi2 := '1'B,
          ebi3 := '1'B,
          ebi4 := '1'B,
          ebi5 := '1'B,
          ebi6 := '1'B,
          ebi7 := '1'B,
          ebi8 := '1'B,
          ebi9 := '1'B,
          ebi10 := '1'B,
          ebi11 := '1'B,
          ebi12 := '1'B,
          ebi13 := '1'B,
          ebi14 := '1'B,
          ebi15 := '1'B
        },
        t3448 := 
        {
          elementIdentifier := '6B'O,
          lengthIndicator := 1 , 
          gprsTimer2 :=
          {
            timerValue := '00101'B,
            unit := '011'B
          }
        }
      }
    }
  }
}  


template  EPS_MobileIdentityV t_ePS_MobileIdentityV := 
{
  typeOfIdentity := '110'B,
  oddEvenInd_identity := 
  {
    guti :=  
    {
      oddevenIndicator := '0'B, 
      spare := '1111'B,
      mccDigit1 := '1'H,
      mccDigit2 := '2'H,
      mccDigit3 := '3'H,
      mncDigit3 := '4'H,
      mncDigit1 := '5'H,
      mncDigit2 := '6'H,
      mMEGI := 'AABB'O,
      mMEC := 'FF'O,
      mTMSI := 'AABBCCDD'O
    }
  }
}        

template IMSI t_imsi :=
{
  oddevenIndicator := '1'B,       
  digits := '1234567'H,
  fillerDigit := omit 
}

template GUTI t_guti :=  
{
  oddevenIndicator := '0'B, 
  spare := '1111'B,
  mccDigit1 := '1'H,
  mccDigit2 := '2'H,
  mccDigit3 := '3'H,
  mncDigit3 := '4'H,
  mncDigit1 := '5'H,
  mncDigit2 := '6'H,
  mMEGI := 'AABB'O,
  mMEC := 'FF'O,
  mTMSI := 'AABBCCDD'O
}

template IMEI t_imei :=
{
  oddevenIndicator := '1'B,       
  digits := '1234567'H,
  fillerDigit := omit 
}

testcase tc_NAS_EPS_AttachAccept() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_AttachAccept);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_AttachAccept );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_AttachAccept == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_AttachReject() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_AttachReject);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_AttachReject );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_AttachReject == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_AttachRequest() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_AttachRequest);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_AttachRequest );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_AttachRequest == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_AttachRequest_withCodec() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  var PDU_NAS_EPS v_PDU_NAS_EPS_AttachRequest := c_PDU_NAS_EPS_AttachRequest;
  v_PDU_NAS_EPS_AttachRequest.ePS_messages.ePS_MobilityManagement.pDU_NAS_EPS_AttachRequest.supportedCodecList := {
    elementIdentifier := '40'O,
    lengthIndicator := 3,
    codecList := {
      {
        systemIdentification1 := '01'O,
        lengthOfBitmap1 := 1,
        codecBitmap1_bits1to8 := '01'O,
        codecBitmap1_bits9to16 := omit,
        additional_codecs := omit
      }
    }
  };
  log(c_PDU_NAS_EPS_AttachRequest);
  v_Encoded_msg := enc_PDU_NAS_EPS( v_PDU_NAS_EPS_AttachRequest );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( v_PDU_NAS_EPS_AttachRequest == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_TrackingAreaUpdateAccept() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_TrackingAreaUpdateAccept);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_TrackingAreaUpdateAccept );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_TrackingAreaUpdateAccept == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_TrackingAreaUpdateReject() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_TrackingAreaUpdateReject);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_TrackingAreaUpdateReject );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_TrackingAreaUpdateReject == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_TrackingAreaUpdateRequest() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_TrackingAreaUpdateRequest);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_TrackingAreaUpdateRequest );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_TrackingAreaUpdateRequest == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_ActDedEPSBearerContextRequest() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_ActDedEPSBearerContextRequest);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ActDedEPSBearerContextRequest );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_ActDedEPSBearerContextRequest == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_ActDefEPSBearerContextRequest() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_ActDefEPSBearerContextRequest);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ActDefEPSBearerContextRequest );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_ActDefEPSBearerContextRequest == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_BearerResourceAllocationReject() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_BearerResourceAllocationReject);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_BearerResourceAllocationReject );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_BearerResourceAllocationReject == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_BearerResourceModificationReject() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_BearerResourceModificationReject);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_BearerResourceModificationReject );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_BearerResourceModificationReject == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_DeactEPSBearerContextRequest() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_DeactEPSBearerContextRequest);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_DeactEPSBearerContextRequest );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_DeactEPSBearerContextRequest == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_ModifyEPSBearerContextRequest() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_ModifyEPSBearerContextRequest);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ModifyEPSBearerContextRequest );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);
  
  if ( c_PDU_NAS_EPS_ModifyEPSBearerContextRequest == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_PDN_ConnectivityReject() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_PDN_ConnectivityReject);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_PDN_ConnectivityReject );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_PDN_ConnectivityReject == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}

}

testcase tc_NAS_EPS_encdec_EPS_MobileIdentityV() runs on NAS_EPS_Test_CT
{
  var octetstring v_ePS_MobileIdentityV_oct := enc_EPS_MobileIdentityV_NAS_EPS(valueof(t_ePS_MobileIdentityV));
  log("ENCODE: ",v_ePS_MobileIdentityV_oct);

  var EPS_MobileIdentityV v_ePS_MobileIdentityV;
  var integer vl_int := dec_EPS_MobileIdentityV_NAS_EPS_backtrack(v_ePS_MobileIdentityV_oct,v_ePS_MobileIdentityV);
  log("DECODE: ",v_ePS_MobileIdentityV);
  if ( vl_int == 0 and match(v_ePS_MobileIdentityV,t_ePS_MobileIdentityV)) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_encdec_IMSI() runs on NAS_EPS_Test_CT
{
  var octetstring v_imsi_oct := enc_IMSI_NAS_EPS(valueof(t_imsi));
  log("ENCODE: ",v_imsi_oct);
  var IMSI v_imsi;
  var integer vl_int := dec_IMSI_NAS_EPS_backtrack(v_imsi_oct,v_imsi);
  log("DECODE: ",v_imsi);
  if ( vl_int == 0 and match(v_imsi,t_imsi)) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_encdec_GUTI() runs on NAS_EPS_Test_CT
{
  var octetstring v_guti_oct := enc_GUTI_NAS_EPS(valueof(t_guti));
  log("ENCODE: ",v_guti_oct);
  var GUTI v_guti;
  var integer vl_int := dec_GUTI_NAS_EPS_backtrack(v_guti_oct,v_guti);
  log("DECODE: ",v_guti);
  if ( vl_int == 0 and match(v_guti,t_guti)) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_encdec_IMEI() runs on NAS_EPS_Test_CT
{
  var octetstring v_imei_oct := enc_IMEI_NAS_EPS(valueof(t_imei));
  log("ENCODE: ",v_imei_oct);
  var IMEI v_imei;
  var integer vl_int := dec_IMEI_NAS_EPS_backtrack(v_imei_oct,v_imei);
  log("DECODE: ",v_imei);
  if ( vl_int == 0 and match(v_imei,t_imei)) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_RemoteUEReport() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_RemoteUEReport);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_RemoteUEReport );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_RemoteUEReport == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_RemoteUEReportResponse() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_RemoteUEReportResponse);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_RemoteUEReportResponse );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_RemoteUEReportResponse == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_ESMDataTransport() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_ESMDataTransport);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ESMDataTransport );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_ESMDataTransport == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_DataServiceRequest() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_DataServiceRequest);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_DataServiceRequest );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_DataServiceRequest == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

testcase tc_NAS_EPS_ServiceAccept() runs on NAS_EPS_Test_CT
{
  var octetstring v_Encoded_msg;
  log(c_PDU_NAS_EPS_ServiceAccept);
  v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ServiceAccept );
  log("ENCODE: ",v_Encoded_msg);

  var PDU_NAS_EPS v_EPSM_msg;
  v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
  log("DECODE: ",v_EPSM_msg);

  if ( c_PDU_NAS_EPS_ServiceAccept == v_EPSM_msg ) {setverdict(pass);}
  else {setverdict(fail);}
}

control
{ 
  execute( tc_NAS_EPS_AttachAccept()); 
  execute( tc_NAS_EPS_AttachReject()); 
  execute( tc_NAS_EPS_AttachRequest());
  execute( tc_NAS_EPS_AttachRequest_withCodec());
  execute( tc_NAS_EPS_TrackingAreaUpdateAccept())  
  execute( tc_NAS_EPS_TrackingAreaUpdateReject()) 
  execute( tc_NAS_EPS_TrackingAreaUpdateRequest()) 
  execute( tc_NAS_EPS_ActDedEPSBearerContextRequest()) 
  execute( tc_NAS_EPS_ActDefEPSBearerContextRequest()) 
  execute( tc_NAS_EPS_BearerResourceAllocationReject())  
  execute( tc_NAS_EPS_BearerResourceModificationReject())          
  execute( tc_NAS_EPS_DeactEPSBearerContextRequest())
  execute( tc_NAS_EPS_ModifyEPSBearerContextRequest() );
  execute( tc_NAS_EPS_PDN_ConnectivityReject() );
  execute( tc_NAS_EPS_encdec_EPS_MobileIdentityV() );
  execute( tc_NAS_EPS_encdec_IMSI() );
  execute( tc_NAS_EPS_encdec_GUTI() );
  execute( tc_NAS_EPS_encdec_IMEI() );
  execute( tc_NAS_EPS_RemoteUEReport() );
  execute( tc_NAS_EPS_RemoteUEReportResponse() );
  execute( tc_NAS_EPS_ESMDataTransport() );
  execute( tc_NAS_EPS_DataServiceRequest() );
  execute( tc_NAS_EPS_ServiceAccept() );


}

} // end of module