def dump_nodes(nodes):
    values = []
    for node in nodes:
        values.append(node.value)
    print('source:', values)
def dump_nodes(nodes):
    values = []
    for node in nodes:
        values.append(node.value)
    print('source:', values)