let var a:int := 5 in let var b:int := 6 in c := a + b end end