Constant NUM_DISTANCE_SHORT_CODES 

const NUM_DISTANCE_SHORT_CODES: u32 = 16;