void do_nothing(void)
{
	int i=0;
	
	i++;
}