local fun accsq(0, sum) = sum | accsq(n, sum) = accsq(n-1, sum + n*n) in fun SS n = accsq(n,0) end;