@compiler >= 9.0.0

contract Counter =
    record state = {value : int}

    stateful entrypoint init() =
        {value = 1}

    stateful entrypoint increment() =
        put({value = state.value + 1})

    entrypoint value() =
        state.value