SD_HOST_LEVEL = simgrid::Host::extension_create(__SD_workstation_destroy);
SIMIX_HOST_LEVEL = simgrid::Host::extension_create(SIMIX_host_destroy);
USER_HOST_LEVEL = simgrid::Host::extension_create(NULL);
SD_HOST_LEVEL = simgrid::Host::extension_create(__SD_workstation_destroy);
SIMIX_HOST_LEVEL = simgrid::Host::extension_create(SIMIX_host_destroy);
USER_HOST_LEVEL = simgrid::Host::extension_create(NULL);