The program ends when the savages have finished eating.  If you dead lock the root processor then the system will never exit or perform deadlock detection.

In my system I have made the SAVAGES infinitely hungry, it seems to continue indefinitely with no hang.  However I am not using the precompile and I have full assertions running so maybe there is a discrepancy somewhere as the system relies on wait-conditions.