let get_exit_status frame = M.get_exit_status frame.mframe