Constant coverage_attribute 

pub const coverage_attribute: Symbol;