Note that it is used only in debug builds in order to display the list of processes being terminated in the debug log.