#include static enum vm_model model; enum vm_model vm_memory_model(void) { return model; } void vm_set_memory_model(enum vm_model m) { model = m; }