handle_exception() if ! $ok;