embed mutex into Counter struct