/* driver.c */

extern void _main();

int main()
{
	_main();
	
	return 0;
}