function sum(xs) {
  var res = 0;
  for(var x of xs)
    res += x;
  return res;
}