let
mem_at_env env = mem_at env env.label