+#include <xbt/asserts.h>
+#include <xbt/base.h> // xbt_pagesize...
+#include <xbt/misc.h>
+
+#include <simgrid_config.h>
+
+
+namespace simgrid {
+namespace mc {
+// TODO, do not depend on xbt_pagesize/xbt_pagebits but our own chunk size
+namespace mmu {
+
+static int chunkSize()
+{
+ return xbt_pagesize;
+}