static int[] intBufferToArray(IntBuffer buf) {
  ret buf == null ? null : buf.toArray();
}