static double[] emptyDoubleArray = new[0];
static double[] emptyDoubleArray() { ret emptyDoubleArray; }