sumArray(arr: []int, first: int, last: int | sum: int) { assume (first >= 0 && last < #arr && first < last); sum := 0; current := first; while (current <= last) do { sum := sum + arr[current]; current := current + 1 } }