Constant E0713 

pub const E0713: ErrCode;