Verify the size of a file called     input.txt     for a file in the current working directory, and another one in the file system root.




every dir := !["./","/"] do {
   write("Size of ",f := dir || "input.txt"," = ",stat(f).size)  |stop("failure for to stat ",f) 
   }