Constant ZX_EXCP_USER_CODE_USER0 

pub const ZX_EXCP_USER_CODE_USER0: u32 = 0xF000;