bin = 0x9FFF
bin' = 0x9FFF