a few fun test cases illustrating transformations that can be used to back out
simple arithmetic obfuscations; LLVM already knows the first one but not the
other three