Constant JSPROP_FLAGS_MASK 

pub const JSPROP_FLAGS_MASK: u32 = 15; // 15u32