public void skipWhitespace() throws IOException {
		// skip spaces, carriage returns, and newlines
		while(src.peek() == ' '  ||
			  src.peek() == '\r' ||
			  src.peek() == '\n' ||
			  src.peek() == '\t') 
		{
			if (src.peek() == '\n')
				line++;
			src.next();
		}
		// skip comments
		if (src.peek() == ';') {
			while(src.next() != '\n') 
			{
				if (src.peek() == 65535)
					return;
			}
			line++;
			// skip any additional whitespace
			skipWhitespace();
		}
	}