3.45 Aspect Program_Exit

This boolean aspect is equivalent to pragma Program_Exit.