fn BlockLengthPrefixCode(len: u32) -> u32