IDIOM 17: overflows of jump table offset computations should be UNKNOWNSIGN checks instead of UNSIGNED.
