# ghc-asn1-encoding