#define input_pin PORTAbits.RA3 
void main(void)
{
ANSELAbits.ANSA3 = 0;  // make RA3  a digital pin
TRISAbits.TRISA3 = 0;   // set RA3 as an output
while(1)
  if (input_pin)  exception_routine();
}