+/* --- @gfshare_addedp@ --- *
+ *
+ * Arguments: @gfshare *s@ = pointer to sharing context
+ * @unsigned x@ = which share number to check
+ *
+ * Returns: Nonzero if share @x@ has been added already, zero if it
+ * hasn't.
+ */
+
+extern int gfshare_addedp(gfshare */*s*/, unsigned /*x*/);
+