let call_post caller_env called_kf vs m_pre m_post x_result =
    let frame =
      new_frame called_kf ~m_here:m_post ~m_pre ~m_post ?x_result ()
    in
    {
      formals_in_pre = true ;
      frame = frame ;
      label = Here ;
      lvars = caller_env.lvars ;
      xvars = bind_formals called_kf vs ;
      laddr = caller_env.laddr
    }