let var s := "String" in let var s := 1 in s end; s end