static void onNewTriple(fO f) {
  ai_addTripleListener(new TripleListener {
    void onNewTriple(TripleWeb w) { callF(f, w); }
  });
}