[Reduction] #517: int86