       read_file ?-nonewline? fileName
              read_file fileName numBytes
              This  proecure  reads the file fileName and returns
              the contents as a string.  If -nonewline is  speci-
              fied,  then  the last character of the file is dis-
              carded if it is a newline.  The second form  speci-
              fies  exactly  how  many  bytes  will  be  read and
              returned, unless  there  are  fewer  than  numBytes
              bytes  left  in  the  file;  in  this case, all the
              remaining bytes are returned.

              This procedure is provided by Extended Tcl.
