private static char lookChar() { // return next character from input
if (buffer == null || pos > buffer.length()) fillBuffer();
if (buffer == null) return EOF;
else if (pos == buffer.length()) return '\n';
else return buffer.charAt(pos);
}
