add 11-6: printf

variable-length arguments.