Sum of Squares in SPARK...

Ada and SPARK identifier `State` is either undeclared or not visible at this point...