docs: private int addState(Label reattachPoint, Statement restore) {
      ReattachState create = ReattachState.create(reattachPoint, restore);
      reattaches.add(create);
      int state = reattaches.size() - 1; // the index of the ReattachState in the list
      return state;
    }