ghc-asn1-encoding