I would like a constant for that 1. The same constant should be used when initializing the counter `_nextVMIdentifier`.