svoid emitPair(O a, O b) {
  emit(pair(a, b));
}