let result env = get_result env