pub const ZX_EXCP_USER_CODE_USER1: u32 = 0xF001; // 61_441u32