/********************************
Dependencies:   xc.h
Processor:      PIC32MX795F512L
Complier:       XC32 v1.32 
Debugger:       Simulator 
********************************/
#include <xc.h>
#if defined(__DEBUG) 
  #define __debug_break() __builtin_software_breakpoint() 
 #else 
  #define __debug_break() ((void)0) 
 #endif

 int halt(int check) 
 { 
   if (check) 
     { 
       __debug_break(); 
       return check; 
     } 
   return 0; 
 }