#pragma once
#include <pico/types.h>
void handle_vco_change(uint gpio, uint32_t events);