Symbol: print_linux_signal