// fills with zeros
svoid intBufferPut(IntBuffer buf, int idx, int value) {
  if (buf == null) ret;
  int toAdd = idx-buf.size();
  while (toAdd-- >= 0) buf.add(0);
  buf.set(idx, value);
}