pub const ZX_EXCP_HW_BREAKPOINT: u32 = 0x408; // 1_032u32