t4015: use test_write_lines()