Done translating writing-to-files