#include <stdlib.h>

extern void __cxa_finalize(void *d);

void exit(int rc)
{
	__cxa_finalize(NULL);

	/* TODO: exit: Flush all streams */
	/* TODO: exit: Close all streams */
	/* TODO: exit: Remove temporary files */

	_Exit(rc);
}