`w.write_char('\n')` or `w.write(['\n' as u8])` would be better. `write_line("")` will do unnecessary work.