extern bool context_anyErrors (void) /*@globals internalState@*/ ;
extern void context_hasError (void) /*@modifies internalState@*/ ;
extern int context_numErrors (void) /*@globals internalState@*/ ;
extern bool context_anyErrors (void) /*@globals internalState@*/ ;
extern void context_hasError (void) /*@modifies internalState@*/ ;
extern int context_numErrors (void) /*@globals internalState@*/ ;