Constant JS_WRITE_OBJ_STRIP_SOURCE 

pub const JS_WRITE_OBJ_STRIP_SOURCE: u32 = 16;