def METHOD_NAME(name, **fields):
    if fields:
        return collections.namedtuple(
            name,
            fields.keys(),
        )(*z3.Ints(' '.join(fields.values())))
    else:
        return z3.Int(name)