80087de0 : 3C02801F  LUI     00000001 (v0), 801f (32799),
80087de4 : 24421A10  ADDIU   801f0000 (v0), 801f0000 (v0), 1a10 (6672),
80087de8 : 3C038020  LUI     00000000 (v1), 8020 (32800),
80087dec : 24638958  ADDIU   80200000 (v1), 80200000 (v1), 8958 (35160),
80087df0 : AC400000  SW      00000000 (r0), 0000 (801f1a10 (v0)) [801f1a10]
80087df4 : 24420004  ADDIU   801f1a10 (v0), 801f1a10 (v0), 0004 (4),
80087df8 : 0043082B  SLTU    00000025 (at), 801f1a14 (v0), 801f8958 (v1),
80087dfc : 1420FFFC  BNE     00000001 (at), 00000000 (r0), 80087df0,
80087e00 : 00000000  NOP    
