def x := 1 x := 2 # this is an error