whitespace
Take into account stdout.read(n) may return less than n bytes