(void *)stacked[0], (void *)stacked[1],
(void *)mappables[0], (void *)mappables[1]);
- char *buf = new char[100000];
+// char *buf = new char[100000];
+ char *buf = (char *)alloc_pages(25);
printf("buf %p\n", buf);
char *abuf = (char *)((((ulong)buf) + 4095) & ~4095);