## Synopsis

• Usage:
read(f,n)
• Inputs:
• f, a file, a file
• n, an integer, an integer specifying the maximum number of bytes to read
• Outputs:
• , a string obtained by reading from f

## Description

Input files are buffered, so the current contents of the buffer are returned if the buffer is not empty, otherwise reading from the file is attempted first.

• openIn -- open an input file
• get -- get the contents of a file