(* load the above function in the REPL and then: *)
PolyML.export("doSleep.o", doSleep);