let var x := 1 in 12+x="str" end