-extern bool checkCppName (cstring p_name, fileloc p_loc) /*@modifies g_msgstream@*/ ;
-extern void checkGlobalName (uentry p_ue);
-extern void checkLocalName (uentry p_ue);
-extern void checkPrefix (uentry p_ue);
-extern bool checkAnsiName (cstring p_name, fileloc p_loc);
-extern void checkParamNames (uentry p_ue) /*@modifies g_msgstream@*/ ;
+extern void checkCppName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
+extern void checkExternalName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
+extern void checkLocalName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
+extern void checkFileScopeName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
+extern void checkPrefix (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
+extern void checkAnsiName (uentry p_ue) /*@modifies g_msgstream, p_ue@*/ ;
+extern void checkParamNames (uentry p_ue) /*@modifies g_msgstream@*/;
+/*@i32! should get error without modifies p_ue@*/