if (not simgrid::vm::VmDirtyPageTrackingExt::EXTENSION_ID.valid()) {
simgrid::vm::VmDirtyPageTrackingExt::EXTENSION_ID =
simgrid::vm::VirtualMachineImpl::extension_create<simgrid::vm::VmDirtyPageTrackingExt>();
if (not simgrid::vm::VmDirtyPageTrackingExt::EXTENSION_ID.valid()) {
simgrid::vm::VmDirtyPageTrackingExt::EXTENSION_ID =
simgrid::vm::VirtualMachineImpl::extension_create<simgrid::vm::VmDirtyPageTrackingExt>();