Description

Left = Right (with write barrier)