Returning on ongoing IO requires to save the current state, therefore a state machine makes sense for write operations. This information is encoded in WriteInfo/WriteState.
instr(X,Y)