let set_exit_status frame x =
    {
      fframe = frame.fframe ;
      mframe = M.set_exit_status frame.mframe x
    }