static void readstdin(void);
static void readfile(void);