/* write-before-write */