[Reduction] #537-539: sprintf