[Reduction] #559: printf