terminal_gif_recorder
