Unfortunately, even if you’re using uint16_t (which, remember, the C standard does not guarantee exists) on a platform with (say) 32-bit integers, you’re still

Unfortunately, even if you’re using uint16_t (which, remember, the C standard does not guarantee exists) on a platform with (say) 32-bit integers, you’re still actually computing in signed int due to promotion.