let exit_status frame = M.exit_status frame.mframe