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.




declare
  [Path] = {Module.link ['x-oz://system/os/Path.ozf']}
in
  {Show {Path.size "input.txt"}}
  {Show {Path.size "/input.txt"}}