pub const with_negative_coherence: Symbol;