Constant JS_TAG_CATCH_OFFSET 

pub const JS_TAG_CATCH_OFFSET: c_int = 5;