3802c3802
<            366240000            9139 00002f0c 41638fd7 pv.srl.h         x31, x7, x22        x31=0d3e0001  x7:34fb317b x22:0c2220ed
---
>            366240000            9139 00002f0c 41638fd7 pv.srl.h         x31, x7, x22        x31=053e0001  x7:34fb317b x22:0c2220ed
