1024 /* the following definitions are common over all platforms */ /* number of pages in bigbuf */