pager_file
result = pager_file(filename);
extern int pager_file(const char *fname);
extern int pager_file(const char *);