Constant ZX_EXCP_USER_CODE_USER0 

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