double get_tv_frequency(int channel, double *audio_offset);
void list_tv_channels(void);