type file{} (file outputFile)duplicateFile(file inputFile) { app { duplicate @filename(inputFile) stdout = @filename(outputFile); } } file dataFile; file outputFile; outputFile = duplicateFile(dataFile);