VERIFY0 is defined in terms of VERIFY3U since signedness shouldn't matter for comparisons against zero.