u32 getIntVect(int num);
int run_bios_int(int num);