/* local info for on_exit */
