/* si_code values for SIGBUS */