static float[] resizeFloatArray(float[] a, int n) {
  ret resizeArray(a, n);
}