Constant WSB_PROP_MASK 

pub const WSB_PROP_MASK: i32 = 4095i32;