let var a := 5 var b := 6 in a; b end