def readNonWhitespace(stream):
 tok = WHITESPACES[0]
 while (tok in WHITESPACES):
  tok = stream.read(1)
 return tok

def readNonWhitespace ( stream ) : tok = WHITESPACES [ 0 ] while ( tok in WHITESPACES ) : tok = stream . read ( 1 ) return tok
finds and reads the next non-whitespace character .