DEFAULT_PAGER       5 pager.c        #ifndef DEFAULT_PAGER
DEFAULT_PAGER      60 pager.c        		pager = DEFAULT_PAGER;