Constant JS_WRITE_OBJ_STRIP_SOURCE

pub const JS_WRITE_OBJ_STRIP_SOURCE: u32 = 16;