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