let var x := 2 in x := 300; x + 1 end