$x := $y
   $y := $x