Constant JSCLASS_HIGH_FLAGS_SHIFT 

pub const JSCLASS_HIGH_FLAGS_SHIFT: u32 = 16;