mikroC debugger en interrupts

unsigned int teller = 0;

void interrupt(void){
 if(INTCON.INTF == 1 ){           // Kijkt als er een interrupt is op GP2/INT
  if(INTCON.GPIF == 1){           // Kijkt als er een interrupt is op GPIO

     if(GP0_bit == 0){            // Kijkt als GP0 laag is
      teller=teller+1;            // Teller wordt 1
      GP5_bit = 0;}

     else if (GP0_bit ==1){
          if (teller ==1){
           GP5_bit = 1;           // Zet GP5 terug hoog
           INTCON.INTF = 0;       // Clear Interrupt Flag
           teller = 0;}           // Teller op 0 zetten
          else if (teller ==0){
           GP5_bit = 1;
          }
     }
}
}
}
void main()
{
  TRISIO = 0xDF;                  // Zet GP5 als output
  GP5_bit = 0x20;                 // Zet GP5 hoog
  INTCON.GIE = 1;                 // Enable Global Interrupt  
  INTCON.GPIE = 1;                // Enables the GPIO change interrupt
  INTCON.INTE = 1;                // Enable RB0/INT external Interrupt
  INTCON.PEIE = 1;                // Enable all unmasked peripheral interrupt
  OPTION_REG.INTEDG = 0;          // Interrupt on falling edge
  INTCON.INTF = 0;                // Clear Interrupt Flag
  INTCON.GPIF = 0;                // Clear Interrupt Flag
  IOC = 0x01;                     // Enable GPO als change bit
  
do {
   Delay_ms(500);
   
} while (1);

}