double get_tv_video_frequency(int channel);
void list_tv_channels(void);