n A simple counter Class:Counter Queries (Properties):    count (A non-negative integer) Commands:    reset (sets count value to 0)    step_count (increments the        count by 1)