std::vector<simgrid::mc::VmMap> const& maps, const char* name, int executable);
XBT_PRIVATE void MC_post_process_object_info(simgrid::mc::Process* process, simgrid::mc::ObjectInformation* info);
std::vector<simgrid::mc::VmMap> const& maps, const char* name, int executable);
XBT_PRIVATE void MC_post_process_object_info(simgrid::mc::Process* process, simgrid::mc::ObjectInformation* info);