Turns out I don't need to multiply by 8.
Fixes for IO, file writing testing.

 io_fd_write works now, but needs to be accompanied by some setup code.

 I removed some assertions; we'll get error messages if anything
goes wrong (I hope).