+/** Size of a memory page for the current system. */
+extern "C" int xbt_pagesize;
+/** Number of bits of addresses inside a given page, log2(xbt_pagesize). */
+extern "C" int xbt_pagebits;
+
+namespace simgrid::mc::mmu {
+// TODO, do not depend on xbt_pagesize/xbt_pagebits but our own chunk size