let
result env = get_result env