extern void printsiginfo(const siginfo_t *);