Constant FAIL_CodeContract 

pub const FAIL_CodeContract: EClrFailure;