pragma solidity ^0.4.19;
contract Counter {
    uint public counter;
    function increment() public { counter++; }
}