/* default pagesize */
int __getpagesize ()
{
  return 4096;
}