/*ParseAssertResults - parse input stream */
void ParseAssertResults(void);

/* must be called before rest, initializes assert variables */
void InitAssertResults(void);

int lgCheckAsserts(
	/* this is unit we will write output to */
	FILE *ioASSERTS );

/* this flag is set in lgCheckAsserts */
EXTERN int lgAssertsOK;