Update testfile.oz