/********************************** Miscellaneous **********************************/
namespace simgrid::mc {
XBT_PRIVATE void find_object_address(std::vector<simgrid::xbt::VmMap> const& maps,
simgrid::mc::ObjectInformation* result);
/********************************** Miscellaneous **********************************/
namespace simgrid::mc {
XBT_PRIVATE void find_object_address(std::vector<simgrid::xbt::VmMap> const& maps,
simgrid::mc::ObjectInformation* result);