/************************************************************************/
/* Get current page size using the library function and print it        */
/************************************************************************/

print_page_size()
        {
        printf("\nPage size = %d",              /* Print page size      */
                     get_page_size());          /* Get page size        */
        }