void __destroy_global_chain();

extern void (*_dtors[])(void);

int __aborting;


void exit(int state) {
	void (**dtor)(void);
	if (!__aborting) {
		dtor = _dtors;
		while (*dtor != 0) {
			(*dtor)();
			dtor++;
		}
	}
}