Creating the version for pldi12 crc.