$INSTANCE needs to be initialized (say, 0), else this invocation fails in the default state.