#include "interrupt_helper.h"
  #include <ion.h>
  extern "C" {
  #include "mphalport.h"
  }
  
  void shouldInterrupt() {
    static int c = 0;
    c++;
    if (c%20000 != 0) {
      return;
    }
    c = 0;
    Ion::Keyboard::State scan = Ion::Keyboard::scan();
    if (scan.keyDown((Ion::Keyboard::Key)mp_interrupt_char)) {
      mp_keyboard_interrupt();
    }
  }