let var x := let var x := 2 in x end in x end