Who allows an unsigned type to be -1 ?
Where do they document this ?