let in let var s : string := "\"\\\"" in end; 1 end