docs: public void pushLoop(List<String> labelNames) {
          pushState();
          continueLabel = new Label();
          breakLabel = new Label();
          if (labelNames != null) {
              for (String labelName : labelNames) {
                  initLoopLabels(labelName);
              }
          }
      }