upcoming: the NOPfuscator for purely functional programs.