Constant E0725 

pub const E0725: ErrCode;