On 17 October 2014 16:16, Tim Northover <t.p.northover at gmail.com> wrote: > How about this? I think all the readN calls are cast-free now. Ping. This one's a bit of a merge pain since it touches so much. Cheers. Tim.