tok: tok_poptext() should stop at either T_SEP or T_SOFTSEP