let new_frame kf ~m_here ~m_pre ~m_post ret =
    {
      mframe = M.new_frame kf
        (opt_mem m_here) (opt_mem m_pre) (opt_mem m_post) ret;
      fframe = new_fun_frame
        (opt_env m_here) (opt_env m_pre) (opt_env m_post);
    }