Constant NUM_DISTANCE_SHORT_CODES

const NUM_DISTANCE_SHORT_CODES: u32 = 16;