static byte[] byteArraySetWithExponentialGrowth(byte[] array, int idx, byte element) {
  if (idx >= l(a))
    array = resizeByteArray(array, max(idx+1, l(array)*1.5));
  array[idx] = element;
  ret array;
}