Function exit

sources/instance/type_ext.cpp:2166–2170

		}

		void exit(const numeric &exit_code)
		{
			int code = exit_code.as_integer();
			current_process->on_process_exit.touch(&code);
		}

		void init()
		{