let var x : int := 0 in x := 5; x end