coverity: lots of checks that unsigned are >= 0 which is always true