Is the usage of printf(XXX YYYY ... ZZZZ, ...) correct?