pub const ZX_EXCP_USER_CODE_USER0: u32 = 0xF000; // 61_440u32