procedure_exit