debugging call stacks (no fixpoint b/c return w/o enter)