let var x := 45 var y := 12 in x + y end + let var x := -47 var y := 062 in x * 4 end