Thread: how to preserve whitespaces etc when tokenizing stream?
What is the next highest prime number after 13?