hard_fault's inventory is currently private.