void ChkSpec();


/*-**************************************************************************
 Name: ChkSpecModule
 Purpose: Checks each entity in a module
 Assumes: tab points to a symtab that has been initialized.
 Inputs: tab points to a module symtab.
 Outputs: none
 Effects: none directly. See ChkObj and ChkOp for indirect effects.
**************************************************************************-*/
void ChkSpecModule(Symtab *tab);


/*-**************************************************************************
 Name: ChkObj
 Purpose:
**************************************************************************-*/
void ChkObj(nodep t);
void ChkOp(nodep t);
void Inherit(TypeStruct type, nodep parents, SymClasses class);
void ChkEnder(nodep n1, nodep n2);
void AddToChkList(nodep t);
void ChkList();
void InitMainChkList();
bool IsMainListEmpty();
char *xitoa(int n);