Correcting TS12UAStarParams tagging

   blockLength           [7] INTEGER (0..255),

   fixedIVLength         [8] INTEGER (0..255),

   recordIVLength        [9] INTEGER (0..255),

   macLength            [11] INTEGER (0..255),

   macKeyLength         [12] INTEGER (0..255),

   compressionAlgorithm [13] TLSCompressionAlgorithm,

   clientRandom         [14] OCTET STRING (SIZE(4)),

   serverRandom         [15] OCTET STRING (SIZE(4)),

   clientSequenceNumber [16] INTEGER,

   serverSequenceNumber [17] INTEGER,

   sessionID            [18] OCTET STRING (SIZE(0..32)),

   tLSExtensions        [19] OCTET STRING (SIZE(0..65535))

   macLength             [10] INTEGER (0..255),

   macKeyLength          [11] INTEGER (0..255),

   compressionAlgorithm  [12] TLSCompressionAlgorithm,

   clientRandom          [13] OCTET STRING (SIZE(4)),

   serverRandom          [14] OCTET STRING (SIZE(4)),

   clientSequenceNumber  [15] INTEGER,

   serverSequenceNumber  [16] INTEGER,

   sessionID             [17] OCTET STRING (SIZE(0..32)),

   tLSExtensions         [18] OCTET STRING (SIZE(0..65535))

}

KAF ::= OCTET STRING