A video file player.