* it will be called for detached threads only if they terminate before
the main thread, and the hook will then fire at "END" time ;
* it will be called for detached threads only if they terminate before
the main thread, and the hook will then fire at "END" time ;