static int ai_removeTriplesInMemory(Collection<TripleWeb> l) {
  int n = ai_removeTriplesInMemory(l);
  l.clear();
  ret n;
}