let
env_current_state e = env_state e e.e_cur