Symbol: asn1_intmax