some more code to setup main and the incrementcounter function