All file reads should be guarded with `if (! buffer.empty())` now.