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