{ x = 0 } with x = 1 + 1