#define MICHAELSINTVECTOR (0x6b-0x03)/0x08