Update BUFFER.v