void _cleanup(void)
{
	/* hack for pic32 gcc */
}