yield from check_rs_case(dut, 0x36093399, 0x7f6a12f1, 0x7f6a12f1)
yield from check_rs_case(dut, 0x006CE3EE, 0x806CE3EC, 0x00000002)
yield from check_rs_case(dut, 0x00000047, 0x80000048, 0x80000001)
yield from check_rs_case(dut, 0x36093399, 0x7f6a12f1, 0x7f6a12f1)
yield from check_rs_case(dut, 0x006CE3EE, 0x806CE3EC, 0x00000002)
yield from check_rs_case(dut, 0x00000047, 0x80000048, 0x80000001)