Update asn1t.h too for ASN1 print.