Check for underflow in the debug USUB32.