Tcl_GetCommandName • man page