Remove while loop since stream.get_token() will consume the whole keyword