Racket code for ASN.1