Anchor enforces init constraints that enforces good programming paradigms.
This means this program has an additional initialization instruction for Counters that the Solana native program does not.
Counter