docs: void updateTable(Session session, Table oldTable, Table newTable,
                       int colIndex, int adjust) {
  
          if (oldTable == core.mainTable) {
              core.mainTable = newTable;
  
              if (core.mainIndex != null) {
                  core.mainIndex =
                      core.mainTable.getIndex(core.mainIndex.getName().name);
                  core.mainCols = ArrayUtil.toAdjustedColumnArray(core.mainCols,
                          colIndex, adjust);
              }
          }
  
          if (oldTable == core.refTable) {
              core.refTable = newTable;
  
              if (core.refIndex != null) {
                  core.refIndex =
                      core.refTable.getIndex(core.refIndex.getName().name);
                  core.refCols = ArrayUtil.toAdjustedColumnArray(core.refCols,
                          colIndex, adjust);
              }
          }
  
          // CHECK
          if (constType == CHECK) {
              recompile(session, newTable);
          }
      }