Adding obfuscation module, and fixing verify_check_errno