(~all t (map dead threads))
(~all dead threads)
(while (~all dead threads) (sleep 1))
(until (all dead threads) (sleep 1))
-----