void gpio_write(int pin, int val) = (1 << pin); else GPIO_OUT &= ~(1 << pin);