Constant WSB_PROP_MASK 

pub const WSB_PROP_MASK: UINT = 0x00000FFF;