int main() {
  int i = 1; 
 printf("Hello world %d, %d\n", ++i, i++);
 return 0;
}