sys.exit(0)
def testbench(dut):
+ yield from check_case(dut, 0xfe34f995, 0xff5d59ad, 0xff800000)
yield from check_case(dut, 0x82471f51, 0x243985f, 0x801c3790)
yield from check_case(dut, 0, 0, 0)
yield from check_case(dut, 0x40000000, 0xc0000000, 0x00000000)