Symbol: abort_charseq_recognize