extern /*@observer@*/ uentry usymtab_lookupSafe (cstring p_k)
/*@globals internalState@*/ ;
+extern /*@observer@*/ uentry
+ usymtab_lookupSafeScope (cstring p_k, int p_lexlevel)
+ /*@globals internalState@*/ ;
+
extern /*@observer@*/ uentry usymtab_getGlobalEntry (usymId p_uid)
/*@globals internalState@*/ ;