 bmi 0xbadb00
 bmi 0xb00
 bmi 0x42
