partial_write_in_region___%bb1---%bb12.jscop.transformed 1.13 KB