vec and stdio