private int SkipWhitespace () { int c; while (true) { c = ReadByteSpecial (); switch ((char) c) { case '\r': goto case ' '; case '\n': goto case ' '; case '\t': goto case ' '; case ' ': continue; default: return c; } } }