docs: public int getDatabaseMajorVersion() throws SQLException {
  
          ResultSet rs =
              execute("call \"org.hsqldb_voltpatches.Library.getDatabaseMajorVersion\"()");
  
          rs.next();
  
          int result = rs.getInt(1);
  
          rs.close();
  
          return result;
      }