[cormacrelf]

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