Tcl_GetCommandFullName • man page