static int[] reverseIntArray(int[] a) {
  int n = l(a);
  *int[n] b;
  for i to n: b[n-1-i] = a[i];
  ret b;
}