Macro fetch_cov 

macro_rules! fetch_cov {
    ($cov:expr, $t:expr, $($name:ident),*) => { ... };
}