let var x := 1 in x end