dump_get_max_page_size 4265 src/pdumper.c    dump_align_output (ctx, dump_get_max_page_size ());
dump_get_max_page_size 4983 src/pdumper.c    int worst_case_page_size = dump_get_max_page_size ();
dump_get_max_page_size 5674 src/pdumper.c    dump_page_size = dump_get_max_page_size ();