stdin reader built in driver.c