counter top-level property

int counter
getter/setter pair

Implementation

int counter = 1;