let
sleep time =
assert
(0 ==
Sys
.command (sprint
"sleep %g"
time))