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