let var x := 0 in x end