18.5.1 printf()