int main(int argc, char **argv)
{
	(void)argv;
	while(1)
		(void)argc;
}