Symbol: ASN1_CHOICE_END_cb