This issue tracks an ongoing refactoring described in [`doc/UnitTestOwnership.md`](https://github.com/tock/libtock-rs/blob/master/doc/UnitTestOwnership.md).
This issue tracks an ongoing refactoring described in
doc/UnitTestOwnership.md.