void show_about (void);