unsigned subtraction defined behavior - Search