static int arrayLength(O o) {
  ret Array.getLength(o);
}