Update and_add.v