I was talking about this case in particular, where we know the list is basically isomorphic to the call stack.