Start testing DENM

    external function fx_enc_DenmReq (DenmReq p) return bitstring

        with {extension "prototype(convert) encode(LibIts_Interface)"}

    external function fx_dec_DenmReq (inout bitstring b, out DenmReq p) return integer

        with {extension "prototype(sliding) decode(LibIts_Interface)"}

    external function fx_dec_DenmInd (inout bitstring b, out DenmInd p) return integer

        with {extension "prototype(sliding) decode(LibIts_Interface)"}

    external function fx_enc_DENM (DENM p) return bitstring

        with {extension "prototype(convert) encode(BER:BER_ENCODE_CER)"}

//        with {extension "prototype(convert) encode(PER)"}

        with {extension "prototype(convert) encode(PER)"}

    external function fx_dec_DENM (inout bitstring b, out DENM p) return integer

        with {extension "prototype(sliding) decode(BER:BER_ENCODE_CER)"}

//        with {extension "prototype(sliding) encode(PER)"}

        with {extension "prototype(sliding) decode(PER)"}    

} // End of module LibItsDenm_EncdecDeclarations