Yes, inverting the caller/callee direction is one of the hardest control flow patterns to reason about.