make n returns a countdown latch waiting for n threads; see
CountDownLatch(...).Java_exception if n is negativeJava_exception if the thread is interruptedawait_time c t u is similar to await c, except that the current
thread will at most wait for t (time value whose unit is u); see
await(...).Java_exception if the thread is interruptedwrap obj wraps the reference obj into an option type:Some x if obj is not null;None if obj is null.unwrap obj unwraps the option obj into a bare reference:Some x is mapped to x;None is mapped to null.