I validated that the order in `select {}` is not deterministic when there is more than one channel with an event.