private static void fireAfter(MulticastFSMProbe p, int oldState, int newState) {
   if (!p.isEmpty()) p.fireAfterTransition(oldState, newState);
 }