$_ = "%d 42";
printf;