docs: public void resetLevels() {
          while(lvl_idx > 1) {
              popLevel();
          }
  
          if(lvl_idx < 1) {
              lvl_idx = 1;
              levels[0] = new Level();
              levels[0].spaces = -1;
              levels[0].ncount = 0;
              levels[0].domain = "";
          }
          levels[0].status = LevelStatus.header;
      }