[Reduction] #519-520: intdos