9/... (Of course, if we use binary file input, both versions get slightly faster, to ~5s (hacky C-style) and ~8s (iostreams w/ std::getline). Line-endings are changed by the OS when the file is read into the internal buffer behind the FILE*, not when fgetc is called).