Counter should use i64