Symbol: ASN1_ENUMERATED_get_int64