Symbol: ASN1_OTS