=== healthy: 20 wait frames ===
  T106  Wait          n=1  xe::kernel::XEvent
  T104  Wait          n=1  xe::kernel::XEvent
  T97   Wait          n=1  xe::kernel::XEvent
  T96   Wait          n=1  xe::kernel::XEvent
  T80   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T79   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T78   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T77   Wait          n=1  xe::kernel::XEvent
  T76   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XTimer
  T75   Wait          n=1  xe::kernel::XSemaphore
  T74   Wait          n=1  xe::kernel::XSemaphore
  T71   Wait          n=1  xe::kernel::XEvent
  T66   Wait          n=1  xe::kernel::XEvent
  T65   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T64   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T63   Wait          n=1  xe::kernel::XSemaphore
  T62   Wait          n=1  xe::kernel::XEvent
  T61   Wait          n=1  xe::kernel::XEvent
  T50   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XEvent
  T36   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XEvent
  --- objects waited on:
      xe::kernel::XEvent                            19
      xe::kernel::XSemaphore                        8
      xe::kernel::XTimer                            1
=== frozen: 24 wait frames ===
  T106  Wait          n=1  xe::kernel::XEvent
  T105  Wait          n=1  xe::kernel::XEvent
  T104  Wait          n=1  xe::kernel::XEvent
  T97   Wait          n=1  xe::kernel::XEvent
  T96   Wait          n=1  xe::kernel::XEvent
  T80   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T79   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T78   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T77   Wait          n=1  xe::kernel::XEvent
  T76   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XTimer
  T75   Wait          n=1  xe::kernel::XEvent
  T74   Wait          n=1  xe::kernel::XEvent
  T71   Wait          n=1  xe::kernel::XEvent
  T69   Wait          n=1  xe::kernel::XSemaphore
  T68   Wait          n=1  xe::kernel::XEvent
  T67   Wait          n=1  xe::kernel::XEvent
  T66   Wait          n=1  xe::kernel::XEvent
  T65   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T64   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XSemaphore
  T63   Wait          n=1  xe::kernel::XSemaphore
  T62   Wait          n=1  xe::kernel::XEvent
  T61   Wait          n=1  xe::kernel::XEvent
  T50   Wait          n=1  xe::kernel::XEvent
  T36   WaitMultiple  n=2  xe::kernel::XEvent, xe::kernel::XEvent
  --- objects waited on:
      xe::kernel::XEvent                            23
      xe::kernel::XSemaphore                        7
      xe::kernel::XTimer                            1
=== healthy -> frozen ===
   xe::kernel::XEvent                             19 -> 23    CHANGED
   xe::kernel::XSemaphore                          8 -> 7     CHANGED
   xe::kernel::XTimer                              1 -> 1   
=== per-thread healthy -> frozen ===
  thread healthy                          frozen                          
  T106   Wait(XEvent)                     Wait(XEvent)                     
  T105   --                               Wait(XEvent)                       <-- CHANGED
  T104   Wait(XEvent)                     Wait(XEvent)                     
  T97    Wait(XEvent)                     Wait(XEvent)                     
  T96    Wait(XEvent)                     Wait(XEvent)                     
  T80    WaitMultiple(XEvent,XSemaphore)  WaitMultiple(XEvent,XSemaphore)  
  T79    WaitMultiple(XEvent,XSemaphore)  WaitMultiple(XEvent,XSemaphore)  
  T78    WaitMultiple(XEvent,XSemaphore)  WaitMultiple(XEvent,XSemaphore)  
  T77    Wait(XEvent)                     Wait(XEvent)                     
  T76    WaitMultiple(XEvent,XTimer)      WaitMultiple(XEvent,XTimer)      
  T75    Wait(XSemaphore)                 Wait(XEvent)                       <-- CHANGED
  T74    Wait(XSemaphore)                 Wait(XEvent)                       <-- CHANGED
  T71    Wait(XEvent)                     Wait(XEvent)                     
  T69    --                               Wait(XSemaphore)                   <-- CHANGED
  T68    --                               Wait(XEvent)                       <-- CHANGED
  T67    --                               Wait(XEvent)                       <-- CHANGED
  T66    Wait(XEvent)                     Wait(XEvent)                     
  T65    WaitMultiple(XEvent,XSemaphore)  WaitMultiple(XEvent,XSemaphore)  
  T64    WaitMultiple(XEvent,XSemaphore)  WaitMultiple(XEvent,XSemaphore)  
  T63    Wait(XSemaphore)                 Wait(XSemaphore)                 
  T62    Wait(XEvent)                     Wait(XEvent)                     
  T61    Wait(XEvent)                     Wait(XEvent)                     
  T50    WaitMultiple(XEvent,XEvent)      Wait(XEvent)                       <-- CHANGED
  T36    WaitMultiple(XEvent,XEvent)      WaitMultiple(XEvent,XEvent)      
