let var x:int := 5 var y:int := x var z:int := y var a:string := "foo" var b:string := "bar" var c:string := "foobar" in if x < y then a else b end