slang: Correctly handle end of tokens marker.