let var a : string := "\\\\" var b := "hello\\\\\\" in (let var a := 200 var c: int := -100 in a <= c end); a = b end