10: R1=ctx(id=0,off=0,imm=0) R10=fp0 20: (95) exit 3R0 !read_ok 4processed 1 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0 5�
View as plain text