#pragma once
#include <pico/types.h>

void handle_vco_change(uint gpio, uint32_t events);
void update_button(uint pin, bool *button_state);
void update_buttons();