bmi 0xbadb00 bmi 0xb00 bmi 0x42