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