Symbol: gpio_pin_write