be sure to actually test printf args