static <A> int lengthLevel2_byteArrays(byte[][] l) {
  int sum = 0;
  for (byte[] c : l) sum += l(c);
  ret sum;
}