SET_VECTOR_88100
SET_VECTOR_88100(num, vec);
SET_VECTOR_88100(0x03, vector_init_list[num + 1]);
SET_VECTOR_88100(num, sigsys);
SET_VECTOR_88100(450, syscall_handler);
SET_VECTOR_88100(451, cache_flush_handler);
SET_VECTOR_88100(503, vector_init_list[8]);
SET_VECTOR_88100(504, stepbpt);
SET_VECTOR_88100(511, userbpt);