=== healthy: 22 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
  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                            22
      xe::kernel::XSemaphore                        6
      xe::kernel::XTimer                            1
=== frozen: 23 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
  --- objects waited on:
      xe::kernel::XEvent                            21
      xe::kernel::XSemaphore                        7
      xe::kernel::XTimer                            1
=== healthy -> frozen ===
   xe::kernel::XEvent                             22 -> 21    CHANGED
   xe::kernel::XSemaphore                          6 -> 7     CHANGED
   xe::kernel::XTimer                              1 -> 1   
=== per-thread healthy -> frozen ===
  thread healthy                          frozen                          
  T106   Wait(XEvent)                     Wait(XEvent)                     
  T105   Wait(XEvent)                     Wait(XEvent)                     
  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(XEvent)                     Wait(XEvent)                     
  T74    Wait(XEvent)                     Wait(XEvent)                     
  T71    Wait(XEvent)                     Wait(XEvent)                     
  T69    --                               Wait(XSemaphore)                   <-- CHANGED
  T68    --                               Wait(XEvent)                       <-- CHANGED
  T67    Wait(XEvent)                     Wait(XEvent)                     
  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    Wait(XEvent)                     Wait(XEvent)                     
  T36    WaitMultiple(XEvent,XEvent)      --                                 <-- CHANGED