Implement readImpl

Nit: I would check that the exception message is as expected.