std::io::stdin() already is buffered. Re-buffering it only increase the memcpy calls.
std::io::stdin()
Edit: this behavior is documented.