csmith driver tweaking
asmify memcmp