Introduces a do-while loop.
// Gets the next non-whitespace character from standard input char read_char() { char c; do { c = getchar(); } while (isspace(c)); return c; }