return TCL_OK; 
static int ExitAll(ClientData clientData, Tcl_Interp *interp,		   int argc, char *argv[]){	/* window is killed; kill the parent process, too */	kill(getppid(), SIGTERM);	for (;;)		sleep(1000);}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/64c3a98e5ef08ab323c2ea983ca497f2df9f9db2/tk_c.c/clean/interface/tk_c.c