SystemIO: Write to file and read