def dump(self, f=sys.stdout):
    f.write(('%s v%u, v%u' % (self.get_name(), self.regs[0], self.regs[1])))
def dump(self, f=sys.stdout):
    f.write(('%s v%u, v%u' % (self.get_name(), self.regs[0], self.regs[1])))