/* Which GPIO pin is the button connected to?
* The button should span this pin and ground, connecting this pin to ground
* when pressed.
* https://projects.raspberrypi.org/en/projects/introduction-to-the-pico/10
* recommends pins 18, 22, or 28. */
/* Which GPIO pin is the button connected to?
* The button should span this pin and ground, connecting this pin to ground
* when pressed.
* https://projects.raspberrypi.org/en/projects/introduction-to-the-pico/10
* recommends pins 18, 22, or 28. */