File System Extras

read_file

The read_file procedure reads the contents of a file.