static Set<TripleListener> ai_addTripleListener_l = synchroHashSet();

static void ai_addTripleListener(TripleListener l) {
  ai_addTripleListener_l.add(l);
}