+/* Insert (KEY, VALUE). If KEY already existed, overwrite the
+ previous value. Uses MUSCLE_OBSTACK. De-allocates the previously
+ associated value. VALUE and SEPARATOR are copied. */
+
+void muscle_grow (const char *key, const char *value, const char *separator);
+
+
+/* Append VALUE to the current value of KEY, using muscle_grow. But
+ in addition, issue a synchronization line for the location LOC. */
+
+void muscle_code_grow (const char *key, const char *value, location loc);
+
+
+/* MUSCLE is an M4 list of pairs. Create or extend it with the pair
+ (A1, A2). Note that because the muscle values are output *double*
+ quoted, one needs to strip the first level of quotes to reach the
+ list itself. */
+
+void muscle_pair_list_grow (const char *muscle,
+ const char *a1, const char *a2);
+
+void muscles_m4_output (FILE *out);
+