print_asn1_name
print_asn1_name(stdout,
print_asn1_name(file, (const unsigned char *)(id + 1),
extern void print_asn1_name(FILE *, const unsigned char *, long);