Constant DEBUG_TBINFO_TIMES 

pub const DEBUG_TBINFO_TIMES: u32 = 8u32;