pub const ZX_EXCP_USER_CODE_USER2: u32 = 0xF002; // 61_442u32