Constant E0712 

pub const E0712: ErrCode;