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); }