static int lDoubleArray(double[] a) {
  ret a == null ? 0 : a.length;
}