sclass IntBuffer {
  int[] data;
  int size;
  
  void add(int i) {
    if (size >= l(data))
      data = resizeIntArray(data, max(1, l(data)*2));
    data[size++] = i;
  }
  
  int[] toArray() {
    ret resizeIntArray(data, size);
  }
}