•Do we want to
introduce a return type to carry failed destroys?
–1. Make it
singular. Return NonExistentHandle fault if previously
released handle is supplied.
•6
–2. Alternative:
Plural, but non-atomic … use fault message to carry failures if possible.
•6
–3. Leave as is
•1
–Resolved:
#2