[bonzini]

It's about variable-length encodings, not variable length integers.

[cormacrelf]

Yeah. The (63-nlz)/7 is part of a piece of code implementing an encoding. nlz is an int.