Symbol: WRITE_AND_UPDATE