Constant JS_DUMP_OBJECTS 

pub const JS_DUMP_OBJECTS: u32 = 131072;