Negatives as UVs: sign-extension intentional, add cast.
NOTREACHED goes at/in the unreachable, not after it.