OK - that occurred to me that there could be 4 values of V, but I wasn't sure. (It's good in my case).
I had always thought about it in terms of callers - there is one V for each caller instance. But if the caller is reentrant itself, then S has FOUR callers, EVEN THOUGH there are only two instances on the diagram. Thanks for your clarification.
