def _set_var(self, name, value):
        if not name in self.zkp.all_vars():
            raise Exception(name % "Variable name '%s' not known.")
        self.env[name] = value
dataset/ETHPy150Open gdanezis/petlib/examples/genzkp.py/ZKEnv._set_var/swapped operands of `%`