unusedlabel:
printf("hi\n");