Is there any WDDX-parsers for TCL?