return_address_fault
extern char kcopy_fault[], return_address_fault[];
if (onfault == return_address_fault) {