An immutable VM