impure function stat input String fileName; output Boolean success; output Real fileSize; output Real mtime; end stat;