let call_exit caller_env called_kf vs m_pre m_post x_status =
    let frame = 
      new_frame called_kf ~m_here:m_post ~m_pre ~m_post ~x_status ()
    in
    {
      formals_in_pre = false ;
      frame = frame ;
      label = Here ;
      lvars = caller_env.lvars ;
      xvars = bind_formals called_kf vs ;
      laddr = caller_env.laddr ; 
    }