Lageret til hard_fault er privat for øyeblikket.