       1mread_file 22m?1m-nonewline22m? 4mfileName0m

       1mread_file 4m22mfileName24m 4mnumBytes0m
              This  procedure reads the file 4mfileName24m and returns the contents
              as a string.  If 1m-nonewline 22mis specified, then the last  charac-
              ter  of  the  file  is discarded if it is a newline.  The second
              form specifies exactly how many bytes will be read and returned,
              unless  there are fewer than 4mnumBytes24m bytes left in the file; in
              this case, all the remaining bytes are returned.
