- called (in void context, without arguments) every time a thread finishes
- its job. More precisely,
+ called (in void context, without arguments) every time a thread or a
+ pseudo-fork terminates. More precisely :
+
+ * For joined threads, it will be called when "join" succeeds, after
+ any "END" block local to the spawn thread ;