file::read() implementation.