counting.v 3.16 KB