sysdecode_sigsegv_code
return (sysdecode_sigsegv_code(si_code));
const char *sysdecode_sigsegv_code(int _si_code);