eqminer: chop C code into trunks, make them compilable, and run them to find likely functionally equivalent code trunks.