diff --git a/teensy4/startup.c b/teensy4/startup.c
index dc20f9705..cbc77ac68 100644
--- a/teensy4/startup.c
+++ b/teensy4/startup.c
@@ -263,6 +263,8 @@ void reset_PFD()
 //  R1
 //  R0
 // Code from :: https://community.nxp.com/thread/389002
+void HardFault_HandlerC(unsigned int *hardfault_args) __attribute__((used));
+
 __attribute__((naked))
 void unused_interrupt_vector(void)
 {
@@ -281,6 +283,8 @@ void unused_interrupt_vector(void)
 
 __attribute__((weak))
 void HardFault_HandlerC(unsigned int *hardfault_args) {
+  volatile unsigned int nn ;
+#if defined(PRINT_DEBUG_STUFF) 
   volatile unsigned int stacked_r0 ;
   volatile unsigned int stacked_r1 ;
   volatile unsigned int stacked_r2 ;
@@ -296,7 +300,6 @@ void HardFault_HandlerC(unsigned int *hardfault_args) {
   volatile unsigned int _BFAR ;
   volatile unsigned int _MMAR ;
   volatile unsigned int addr ;
-  volatile unsigned int nn ;
 
   stacked_r0 = ((unsigned int)hardfault_args[0]) ;
   stacked_r1 = ((unsigned int)hardfault_args[1]) ;
@@ -339,7 +342,7 @@ void HardFault_HandlerC(unsigned int *hardfault_args) {
   printf_debug(" _AFSR ::  %x\n", _AFSR);
   printf_debug(" _BFAR ::  %x\n", _BFAR);
   printf_debug(" _MMAR ::  %x\n", _MMAR);
-
+#endif
   IOMUXC_SW_MUX_CTL_PAD_GPIO_B0_03 = 5; // pin 13
   IOMUXC_SW_PAD_CTL_PAD_GPIO_B0_03 = IOMUXC_PAD_DSE(7);
   GPIO2_GDIR |= (1 << 3);