int readWhitespace() { pushPos(); while (readWhitespaceChar() != 0); if (grabLength() != 0) { popPos(); return 1; } popPosBack(); return 0; }