* [THREAD_EXT,EXT] Added a debug message / at_halt operation to forall_thread/4.
* [VOID,SC] Simplification of code due to use of forall_thread/4.