[jen20]

According to one of the original designers of Zanzibar, they specifically designed the semantics to be able to answer this [1]. Whether a given implementation is able to do this efficiently is another matter though!

[1]: https://mobile.twitter.com/leakissner/status/141001671864303...