procedure main() i := 7; write("i = ", i, " :int") i := "fred"; write("i = ", i, " :string") end # Illustrates Dynamic Type Checking.