Test printing of ASN.1 types INTxx et al