[Reduction] #515: eof