ASN.1 codec