def stringify(x):
    if clingo_cffi:
        try:
            return x.string
        except RuntimeError:
            return str(x)
    else:
        return (x.string or str(x))
def stringify(x):
    if clingo_cffi:
        try:
            return x.string
        except RuntimeError:
            return str(x)
    else:
        return (x.string or str(x))