tut and impl: sound procedures, writing files to disk