Constant JS_DEFAULT_JITREPORT_GRANULARITY 

pub const JS_DEFAULT_JITREPORT_GRANULARITY: u32 = 3;