Convert file reader to Cadence.

See #375.