do(write, do(read))