Constant JSPROP_FLAGS_MASK 

pub const JSPROP_FLAGS_MASK: c_uint = 15;