[Reduction] #542: fprintf