GPIO_ID_COUNT
} while (index_of_id < GPIO_ID_COUNT);
uint32_t *busyness[GPIO_ID_COUNT];
uint32_t number_of_pins[GPIO_ID_COUNT];