trap_copy
trap_copy(defaulttrap, exc, (uintptr_t)&defaultsize);
trap_copy(trap_table[i].exc_addr, trap_table[i].exc_vector,