Constant ZX_EXCP_USER_CODE_USER2 

pub const ZX_EXCP_USER_CODE_USER2: u32 = 0xF002;