\function{ctime}{}{clock value}{String}
\function{echo}{}{strings}{void}
\function{getChannel}{}{None}{int}
\function{quit}{kill}{None}{void}
\function{kill}{}{process id, signalType}{void}
\function{register}{doregister}{stdin | stdout | stderr | xioerr | ..signal.., tcl-command}{void}
\function{setCommunicationVariable}{}{variable name, length, tcl command to be executed}{void}
\function{unregister}{}{stdin | stdout | stderr | xioerr}{void}
\function{addInput}{}{fileno, read | write | except | none, TclVariable, TclCommand}{XtInputId}
\function{removeInput}{}{input id}{void}
\function{fileno}{fileNo}{string identifying file, read | write}{int}
\function{alias}{}{new command, old command}{int}
