#include "src/mc/mc_private.h"
#include "src/mc/mc_smx.h"
#include "src/mc/mc_dwarf.hpp"
#include "src/mc/mc_private.h"
#include "src/mc/mc_smx.h"
#include "src/mc/mc_dwarf.hpp"
return 1;
// The pointers are both in the heap:
return simgrid::mc::compare_heap_area(state,
return 1;
// The pointers are both in the heap:
return simgrid::mc::compare_heap_area(state,