void BootVector(void);