pub const coverage_attribute: Symbol;