void WriteFile::put_line(XString xs) { really_put(xs.data(), xs.size()); if (!xs.endswith('\n')) put('\n'); }