code: void free() {
          if (c4enum != null) {
              synchronized (getDatabase().getLock()) {
                  c4enum.close();
              }
              c4enum.free();
              c4enum = null;
          }
      }
docs: ---------------------------------------------