Parameters

filebuf *buf is the file buffer previously opened with filebuf_open.