let 
  var N := 1
  var M := 2
  var t := 0
in
  t := N; N := M; M := t
end