patcher here are patterns found with "myCSmith" that may induce optimizing compilers to generate redundant load operations. run.kb can invoke patches to match codes in repo/