let
wait v =
Thread
.join v.thread