let var x1:=1 in x1+let var x2:=2 in 12345 end end