O inventário de hard_fault é privado.