add read() for File