pub const ZX_EXCP_SW_BREAKPOINT: u32 = 0x308; // 776u32