+extern bool context_inFunctionHeader (void) /*@globals internalState@*/ ;
+extern void context_enterFunctionHeader (void) /*@modifies internalState@*/ ;
+extern void context_exitFunctionHeader (void) /*@modifies internalState@*/ ;
+
+extern bool context_inFunctionDeclaration (void) /*@globals internalState@*/ ;
+extern void context_enterFunctionDeclaration (/*@exposed@*/ uentry) /*@modifies internalState@*/ ;
+extern void context_exitFunctionDeclaration (void) /*@modifies internalState@*/ ;
+extern void context_enterOldStyleScope (void) /*@modifies internalState@*/ ;
+extern void context_completeOldStyleFunction (/*@exposed@*/ uentry p_e) /*@modifies internalState@*/ ;
+
+extern ctype context_boolImplementationType (void) /*@*/ ;
+extern /*@observer@*/ /*@null@*/ annotationInfo
+ context_lookupAnnotation (cstring p_annot) /*@*/ ;
+
+extern /*@observer@*/ metaStateTable context_getMetaStateTable (void)
+ /*@globals internalState@*/ ;
+
+extern /*@observer@*/ metaStateInfo context_lookupMetaStateInfo (cstring p_key)
+ /*@globals internalState@*/ ;
+
+extern void context_addAnnotation (/*@only@*/ annotationInfo)
+ /*@modifies internalState@*/ ;
+
+extern void context_addMetaState (/*@only@*/ cstring, /*@only@*/ metaStateInfo)
+ /*@modifies internalState@*/ ;
+
+extern valueTable context_createValueTable (sRef p_s, /*@only@*/ stateInfo p_sinfo)
+ /*@globals internalState@*/ ;
+
+extern valueTable context_createGlobalMarkerValueTable (/*@only@*/ stateInfo p_sinfo)
+ /*@globals internalState@*/ ;
+
+extern int context_getBugsLimit (void) /*@*/ ;
+# define context_getBugsLimit() ((int)context_getValue(FLG_BUGSLIMIT))
+
+/*drl 12/30/2001 these are some ugly functions that were added to facilitate struct annotations */
+
+
+extern bool hasInvariants (ctype p_ct);
+
+/*drl 1/6/2001: I didn't think these functions were solid enough to include in the
+ stable release of splint. I coomented them out so that they won't break anything
+ but didn't delete them because they will be fixed and included later
+*/
+
+/*extern void setGlobalStructInfo(ctype p_ct, constraintList p_list); */
+
+/*extern constraintList getInvariants (ctype p_ct); */
+
+/* static int getSref (ctype ct, sRef s); */
+
+/* sRef fixSref (ctype p_ct, sRef p_base, sRef p_fix); */
+
+ctype context_setLastStruct (/*@returned@*/ ctype p_s) /*@modifies internalState@*/;
+ctype context_getLastStruct (/*@returned@*/ /*ctype p_s*/) /*@modifies internalState@*/;
+