> So when we are saying that each register contains "the call value",
> that's incorrect: each only gets a part of the call value.
No, I said "a call value".
But we don't have a way to represent *a* call value, which is the point.
The only thing we can represent is *the* call value.