25 load $10 0xdeadbeefdeadbeef 0xffffffffb3b2b1b0
28 check10 0xdeadbeefdeadbeef 0xb7b6b5b4b3b2b1b0
31 load $10 0xdeadbeefdeadbeef 0xffffffffccb3b2b1
34 check10 0xdeadbeefdeadbeef 0xb7b6b5b4b3b2b1b0
37 load $10 0xdeadbeefdeadbeef 0xffffffffccccb3b2
40 check10 0xdeadbeefdeadbeef 0xb7b6b5b4b3b2b1b0
43 load $10 0xdeadbeefdeadbeef 0xffffffffccccccb3
46 check10 0xdeadbeefdeadbeef 0xb7b6b5b4b3b2b1b0
50 load $10 0xdeadbeefdeadbeef 0xffffffffb7b6b5b4
53 check10 0xdeadbeefdeadbeef 0xb7b6b5b4b3b2b1b0
56 load $10 0xdeadbeefdeadbeef 0xffffffffccb7b6b5
59 check10 0xdeadbeefdeadbeef 0xb7b6b5b4b3b2b1b0
62 load $10 0xdeadbeefdeadbeef 0xffffffffccccb7b6
65 check10 0xdeadbeefdeadbeef 0xb7b6b5b4b3b2b1b0
68 load $10 0xdeadbeefdeadbeef 0xffffffffccccccb7
71 check10 0xdeadbeefdeadbeef 0xb7b6b5b4b3b2b1b0