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