L'inventario di hard_fault è attualmente privato.