pub fn inc_counter(counter: &Result<IntCounter>)