#ifndef UTIL_LINUX_PAGER
#define UTIL_LINUX_PAGER

void pager_redirect(void);

void pager_open(void);
void pager_close(void);

#endif