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