Embed Tcl into PHP