Symbol: atomisp_ctc