We should be able to write: ```python def sum_vec(v: vec[int]): let res = 0 for n in v: res += n res ```