Symbol: asn1_integer_test