int val = 0;

void setup() {
  // set myFunction to be called everytime 
  // interrupt 2 is generated
  attachInterrupt(EXTERNAL_INTERRUPT_2, myFunction, RISING); 
  // Starts serial to print data
  Serial.begin(9600);            
}

void loop() { 
  val = val + 1;
  if (val > 10000) {
    detachInterrupt(EXTERNAL_INTERRUPT_2);
  }
  delay(100);
}

void myFunction() {
  // WARNING: you should avoid doing long procedures in interrupt routines
  // Since this is an interrupt routine
  // and Serial is an interrupt driven output
  // interrupts must be enabled before printing
  interrupts();
  Serial.print("Interruption generated");
}