fd.write(
' XBT_DEBUG("Handling simcall %p: %s", &simcall_, SIMIX_simcall_name(simcall_.call_));\n')
fd.write(' SIMCALL_SET_MC_VALUE(simcall_, value);\n')
fd.write(
' XBT_DEBUG("Handling simcall %p: %s", &simcall_, SIMIX_simcall_name(simcall_.call_));\n')
fd.write(' SIMCALL_SET_MC_VALUE(simcall_, value);\n')