docs: @Override
      public synchronized void releaseSavepoint(String name) {
  
          // remove this and all later savepoints
          int index = sessionContext.savepoints.getIndex(name);
  
          if (index < 0) {
              throw Error.error(ErrorCode.X_3B001, name);
          }
  
          while (sessionContext.savepoints.size() > index) {
              sessionContext.savepoints.remove(sessionContext.savepoints.size()
                                               - 1);
              sessionContext.savepointTimestamps.removeLast();
          }
      }