Constant READ_RAVENS_VALUE_DEFAULTED 

pub const READ_RAVENS_VALUE_DEFAULTED: DiagnosticInfo;