psiginfo
extern void psiginfo(const siginfo_t *, const char *);
psiginfo(&sinfo, "hello world");
psiginfo(&sinfo, NULL);