static int ubyteSum(byte[] l) {
  int sum = 0;
  if (l != null) for (i : l)
    sum += ubyteToInt(i);
  ret sum;
}