#include #include int main(void) { printf("%d\n", getpagesize()); return 0; }