/test/monniaux/uzlib/tests/decomp-bad-inputs/04/
- ../
- id:000000,sig:11,src:000001,op:havoc,rep:2
- id:000001,sig:11,src:000001,op:havoc,rep:2
- id:000002,sig:11,src:000001,op:havoc,rep:2
- id:000003,sig:11,src:000001,op:havoc,rep:4
- id:000004,sig:11,src:000034,op:int32,pos:44,val:+1000
- id:000005,sig:11,src:000063,op:int32,pos:17,val:+1000
- id:000006,sig:11,src:000019+000004,op:splice,rep:2
- id:000007,sig:11,src:000047+000264,op:splice,rep:2
- id:000008,sig:11,src:000194+000266,op:splice,rep:2
- id:000009,sig:11,src:000134+000005,op:splice,rep:2
- id:000010,sig:11,src:000220+000226,op:splice,rep:8