def copy_of_xml_element(elem):

    copyElem = ElementTree.Element(elem.tag, elem.attrib)
    for child in elem:
        copyElem.append(child)
    return copyElem
insert \ before markmin control characters: '`:*~[]{}@$
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/copy_of_xml_element--crossover with--dataset/ETHPy150Open uwdata/termite-data-server/web2py/gluon/contrib/markmin/markmin2html.py/markmin_escape