terminate_signal   76 gui/dump/dump.cpp void terminate_signal(int /*signo*/) {
terminate_signal  145 gui/fb/fb.cpp  terminate_signal(int /*signo*/) {