if use() is passed a file, uses that.  If it's passed nil as the buffer, it uses stdin