fd.write(' XBT_DEBUG("Handling simcall %p: %s", simcall, SIMIX_simcall_name(simcall->call));\n');
fd.write(' #ifdef HAVE_MC\n');
fd.write(' if (mc_model_checker) {\n');
fd.write(' XBT_DEBUG("Handling simcall %p: %s", simcall, SIMIX_simcall_name(simcall->call));\n');
fd.write(' #ifdef HAVE_MC\n');
fd.write(' if (mc_model_checker) {\n');