\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}{wafeRegisterCmd}{stdin \I\ stdout \I\ stderr \I\ xioerr \I\ ..signal.., tcl-command}{void}
\function{setCommunicationVariable}{wafeSetCommunicationVariableCmd}{variable name, length, tcl command to be executed}{void}
\function{unregister}{wafeUnregisterCmd}{stdin \I\ stdout \I\ stderr \I\ xioerr}{void}
\function{addInput}{wafeAddInputCmd}{fileno, read \I\ write \I\ except \I\ none, TclVariable, TclCommand}{XtInputId}
\function{removeInput}{wafeRemoveInputCmd}{input id}{void}
\function{fileno}{fileNo}{string identifying file, read \I\ write}{int}
\function{alias}{}{new command, old command}{int}
\function{DBUG\_PUSH}{DBUG\_PUSH}{new debug options}{void}
\function{DBUG\_POP}{DBUG\_POP}{}{void}
