let var s := "String" in let var s := 1 in s := "#illegal" end end