Constant UART0_IRQ 

pub const UART0_IRQ: u32 = 20;