text: #include <signal.h>
  #include <stdio.h>
  #include <string.h>
  
  void psiginfo(const siginfo_t* si, const char* msg) {
      char* s = strsignal(si->si_signo);
      if (msg)
          fprintf(stderr, "%s: %s\n", msg, s);
      else
          fprintf(stderr, "%s\n", s);
  }
  