def check_encoding(self, f=sys.stdout):
    if ((self.regs[0] <= UINT4_MAX) and (self.regs[1] <= UINT4_MAX)):
        f.write('warning: "move/from16" can be encoded as a "move"')
        f.write((' more efficiently as its registers are both <= %u\n' % UINT4_MAX))
        return 2
    return 0
def check_encoding(self, f=sys.stdout):
    if ((self.regs[0] <= UINT4_MAX) and (self.regs[1] <= UINT4_MAX)):
        f.write('warning: "move/from16" can be encoded as a "move"')
        f.write((' more efficiently as its registers are both <= %u\n' % UINT4_MAX))
        return 2
    return 0