#include <unistd.h>

#include <stdio.h>

int main (int argc, const char *argv[])
{
	printf("		_SC_PAGESIZE* = %d;\n", _SC_PAGESIZE);

	return 0;
}