buffer declaration for stdin read driver.c