static IntBuffer wrapAsIntBuffer(int[] a, int n) {
  new IntBuffer buf;
  buf.data = a;
  buf.size = n;
  ret buf;
}