VER_NDX_GIVEN
verndx == VER_NDX_GIVEN) {
} else if (verndx >= VER_NDX_GIVEN) {
(verndx >= VER_NDX_GIVEN))