/*-----------------------------------------------------------------------
  Header file for the SICS help system.

  copyright: see file COPYRIGHT

  Mark Koennecke, December 2003
-----------------------------------------------------------------------*/
#ifndef SICSHELP
#define SICSHELP

int SicsHelp(SConnection * pCon, SicsInterp * pSics, void *pData,
             int argc, char *argv[]);

void KillHelp(void *pData);
#endif