88c88
< fault "new UnimpInstFault"
---
> fault "std::make_shared<UnimpInstFault>()"
93c93
< fault "new UnimpInstFault"
---
> fault "std::make_shared<UnimpInstFault>()"