#include #include int getpagesize(void) { return PAGE_SIZE; }