auto_execok is one of several commands documented at http://www.purl.org/tcl/home/man/tcl8.4/TclCmd/library.htm
Tcl syntax help - Arts and crafts of Tcl-Tk programming - Category Command