docs: private void write(int integer, Keep keep) throws JSONException {
          int width = keep.bitsize();
          keep.tick(integer);
          if (probe) {
              log("\"" + keep.value(integer) + "\"");
          }
          write(integer, width);
      }