let var a := 1 var b := "hello\\\\\\" var c : int := -90 in let var a := "St\\\\" in a <> b end; a + c end