int printf(const char *format, ...);

main()
{
   int i;
   for(;;) {
      printf("#0006:aho\n");
      break;
   }
   do printf("#0009:aho\n"); while(0);
   if (0) 
	printf("#0011:a\n");
   if (0) 
	printf("#0013:a\n");
   else 
	printf("#0015:b\n");
   if (1) 
	printf("#0017:a\n");
   else {
	printf("#0019:b\n");
        printf("#0020:b\n");
   }
   if (0) 
	printf("#0023:a\n");
   else if (0 && i) {
	printf("#0025:bi\n");
        printf("#0026:bi\n");
   }
   return 0;
}