Now writing to disk; it remains to test whether reading from disk works