David and I wrapped up the stdin/stdout work