static <A> O vmBus_onMessage_withLivelinessCheck(IF0<Bool> livelinessCheck, S msg, IVF1<A> onMessage) {
  Map<S, Set> map = vm_busListenersByMessage_live();
  synchronized(map) {
    Set listeners = map.get(msg);
    if (listeners == null) map.put(msg, listeners = syncIdentityHashSet());
    VMBusListenerWithLivelinessCheck listener = new(listeners, livelinessCheck, (_msg, arg) -> onMessage.get((A) arg));
    // We're technically violating the one-synchronized-object-per-thread rule,
    // but it should be OK here.
    listeners.add(listener);
    ret listener;
  }
}