write_error:
/* if we failed half way through writing a record to a file,
we should not try to write any further records to it. */
write_error:
/* if we failed half way through writing a record to a file,
we should not try to write any further records to it. */