Symbol: TK_EOS