Constant ZX_EXCP_USER_CODE_USER2 

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