#include <stdio.h>
#include <unistd.h>

main() {
  long s;
  s = sysconf(_SC_PAGESIZE);
  printf("page_size: %ld\n", s);
}