#define MICHAELSINTVECTOR 13 /* = (0x6b-0x03)/0x08