experiments in mixed-boolean arithmetic obfuscation - View it on GitHub