Simplify get_video_clock()