@compiler >= 9.0.0

contract Counter =
    record state = {value : int}

    stateful entrypoint init() =
        {value = 1}

    stateful entrypoint increment(n : int) =
        put({value = state.value + n})

    entrypoint value() =
        state.value