Added writeBuffer.v