##+name: DNLnf8Et5AWdosqzDeym24

withFile "file.txt" "hello file world"