6 load $7 0xdeadbeefdeadbeef 0xdeadbeef80000000
7 load $8 0xdeadbeefdeadbeef 0xdeadbeefffffffff
9 checkHI 0xffffffff80000000 0x0000000000000000
10 checkLO 0x0000000000000000 0x0000000000000000
13 load $7 0xdeadbeefdeadbeef 0xdeadbeef80000000
14 load $8 0xdeadbeefdeadbeef 0xdeadbeef00000000
17 checkHI 0x0000000000000000 0x0000000000000000
18 checkLO 0xffffffff80000000 0x0000000000000000