-> ** In SIMIX_execution_finish() at smx_host.c
-> ** In SIMIX_run() at smx_global.c
-> ** In MSG_main() at msg_global.c
+> ** In SIMIX_execution_finish() at smx_host.cpp
+> ** In SIMIX_post_host_execute() at smx_host.cpp
+> ** In SIMIX_run() at src/simix/smx_global.cpp:482 (discriminator smx_global.cpp:482 (discriminator 1)
+> ** In SIMIX_simcall_exit() at popping.cpp
+> ** In MSG_main() at msg_global.cpp