static void readstdin(void);