Constant INFLATE_WINDOW_MASK 

pub const INFLATE_WINDOW_MASK: u32 = 32767;