EC_HALF
EC_HALF(test_verndx), state->versym->max_verndx);
fmt, EC_HALF(verndx));
EC_WORD(symndx), EC_HALF(verndx), NAME(lmp));