void gpioSet(int gpio, int val);
int gpioGet(int gpio);