let var str1 : string := "\t\"Hello " var str2 := "\087orld\\\ \Universe.\"\n" var str3 : string := "" in str1 = str2 end