1 #ifndef lint 2 static char sccsid[] = "@(#)pagesize.c 4.2 (Berkeley) 08/11/83"; 3 #endif 4 5 main() 6 { 7 8 printf("%d\n", getpagesize()); 9 } 10