48c48
< fault "new UnimpInstFault"
---
> fault "std::make_shared<UnimpInstFault>()"
53c53
< fault "new UnimpInstFault"
---
> fault "std::make_shared<UnimpInstFault>()"