Symbol: asn1_uintmax