[Reduction] #517-518: int86