let mem_at frame label =
    {
      mem = M.mem_at frame.mframe label ;
      env = env_at frame.fframe label;
    }