Genera un codigo para el driver IBT2 de arduino, para controlar la velocidad de un motor, junto con el arduino UNO, dame tambien los pines que usaras y como contaras las interrupciones

void init_ibt2(int pin_ibt2, int pin_velocity, int pin_interruptions)
{
  //CODE
}