In the unlikely case that it tripped and then, due to a bug, some other fault occurred (e.g. stack misalignment), Dolphin would go into an infinite loop rather than crashing.