let var x := 5 in x end