1567c1567
<            265080000            6610 00000c20 81e80fb3 p.extractr       x31, x16, x30       x31=0e59bed6 x16:e59bed68 x30:def2f384
---
>            265080000            6610 00000c20 81e80fb3 p.extractr       x31, x16, x30       x31=1e59bed6 x16:e59bed68 x30:def2f384
