Avoiding Stack Overflows in the message synchronizer