+/* start modifications */
+/* functions for making modification to null-term info */
+extern void sRef_setNullTerminatedStateInnerComplete(sRef p_s, struct s_bbufinfo p_b, fileloc p_loc);
+extern struct s_bbufinfo sRef_getNullTerminatedState(sRef p_s);
+extern void sRef_setNullTerminatedState (sRef p_s);
+extern void sRef_setPossiblyNullTerminatedState (sRef p_s);
+extern void sRef_setNotNullTerminatedState (sRef p_s);
+extern void sRef_setSize(sRef p_s, int p_size);
+extern void sRef_setLen(sRef p_s, int p_len);
+
+extern int sRef_getSize(sRef p_s);
+
+/*@-nullderef@*/
+
+#define sRef_getSize(p_s) \
+ ((p_s)->bufinfo.size)
+
+extern int sRef_getLen(sRef p_s);
+#define sRef_getLen(p_s) \
+ ((p_s)->bufinfo.len)
+
+extern bool sRef_hasBufStateInfo(sRef p_s);
+# define sRef_hasBufStateInfo(p_s) \
+ (sRef_isValid(p_s))
+
+extern bool sRef_isNullTerminated(/*@sef@*/sRef p_s);
+# define sRef_isNullTerminated(p_s) \
+ ( sRef_hasBufStateInfo((p_s)) ? ((p_s)->bufinfo.bufstate \
+ == BB_NULLTERMINATED) : FALSE)
+
+extern bool sRef_isPossiblyNullTerminated(/*@sef@*/sRef p_s);
+# define sRef_isPossiblyNullTerminated(p_s) \
+ ( sRef_hasBufStateInfo((p_s)) ? ( (p_s)->bufinfo.bufstate \
+ == BB_POSSIBLYNULLTERMINATED) : FALSE)
+
+extern bool sRef_isNotNullTerminated(/*@sef@*/sRef p_s);
+# define sRef_isNotNullTerminated(p_s) \
+ ( sRef_hasBufStateInfo((p_s)) ? ((p_s)->bufinfo.bufstate \
+ == BB_NOTNULLTERMINATED) : FALSE)
+
+/*@=nullderef@*/
+
+
+ /*drl7x 11/28/00*/
+extern bool sRef_isFixedArray (sRef p_s) /*@*/;
+
+extern long int sRef_getArraySize (sRef p_s) /*@*/;
+
+extern /*@observer@*/ cstring sRef_ntMessage (sRef p_s);
+extern void sRef_resetLen (sRef p_s) /*@modifies p_s@*/ ;
+
+/* end modifications */
+
+extern void sRef_setMetaStateValueComplete (sRef p_s, cstring p_key, int p_value, fileloc p_loc)
+ /*@modifies p_s@*/ ;
+
+extern void sRef_setMetaStateValue (sRef p_s, cstring p_key, int p_value, fileloc p_loc)
+ /*@modifies p_s@*/ ;
+
+extern /*@observer@*/ stateValue sRef_getMetaStateValue (sRef p_s, cstring p_key) /*@*/ ;
+
+extern bool sRef_checkMetaStateValue (sRef p_s, cstring p_key, int p_value)
+ /*@modifies p_s@*/ ;
+
+extern /*@mayexit@*/ void sRef_checkValid (/*@temp@*/ sRef p_s) /*@modifies stderr@*/ ;
+