def new_encoding(self, f=sys.stdout):
    if (self.regs_are_sequential() and ((len(self.regs) == 0) or (self.regs[0] <= UINT4_MAX)) and (len(self.regs) <= UINT4_MAX)):
        name = self.get_name()
        f.write(('"%s" can be encoded as a "%s/min-range" ' % (name, name)))
        f.write('where the first register is contained in the first ')
        f.write('opcode\n')
        return 2
    return 0
def new_encoding(self, f=sys.stdout):
    if (self.regs_are_sequential() and ((len(self.regs) == 0) or (self.regs[0] <= UINT4_MAX)) and (len(self.regs) <= UINT4_MAX)):
        name = self.get_name()
        f.write(('"%s" can be encoded as a "%s/min-range" ' % (name, name)))
        f.write('where the first register is contained in the first ')
        f.write('opcode\n')
        return 2
    return 0