docs: Integer getColDataTypeSub(int i) {
  
          int type = table.getColumn(i).getDataType().getJDBCTypeCode();
          int sub = type == Types.VARCHAR_IGNORECASE ? Types.TYPE_SUB_IGNORECASE
                                                     : Types.TYPE_SUB_DEFAULT;
  
          return ValuePool.getInt(sub);
      }