-rw-r--r-- 223 saferewrite-20210903/src/encode_761x3/README
Fix to claripy/irop.py to make this run under angr: replace

   dst_value = dst_value.zero_extend(dst_size - src_size)

with

   dst_value = claripy.Extract(dst_size-1,0,dst_value)

inside _op_generic_pack_StoU_saturation.