double get_tv_frequency(const char *channel, double *audio_offset);
void list_tv_channels(void);