def add5(x):
    return x + 5

def dotwrite(ast):
    nodename = NodeName()
    print("  %s [label=\"%s\"]" % (nodename, label))
    if isinstance(ast[1], str):
        print("  = %s;" % ast[1])
    else:
        print("  }")
        children = []
        for node in ast[1:]:
            children.append(node)
    return children