If the fallback path can be invoked repeatedly for one message (depending on message size), the tail call is a correctness issue because your stack is probably

If the fallback path can be invoked repeatedly for one message (depending on message size), the tail call is a correctness issue because your stack is probably not going to be large enough to keep all the fallback path frames.