Constant IRQ_TG0_WDT_LEVEL 

pub const IRQ_TG0_WDT_LEVEL: u32 = 33;