#yield from check_case(dut, 0x8000, 0x7c8c, 0x7e8c)
#yield from check_case(dut, 0x8000, 0xfc55, 0xfe55)
#yield from check_case(dut, 0x8000, 0x7e1a, 0x7e1a)
#yield from check_case(dut, 0x8000, 0x7c8c, 0x7e8c)
#yield from check_case(dut, 0x8000, 0xfc55, 0xfe55)
#yield from check_case(dut, 0x8000, 0x7e1a, 0x7e1a)