+/** prints formated string (printf-style format) to an obstack.
+ * This is done by "growing" the obstack with the obstack_*grow*
+ * functions. Note: Does NOT append a null-byte. */
+int obstack_printf(struct obstack *obst, const char *fmt, ...)
+ FIRM_NOTHROW FIRM_PRINTF(2, 3);
+int obstack_vprintf(struct obstack *obst, const char *fmt, va_list ap)
+ FIRM_NOTHROW FIRM_PRINTF(2, 0);
+
+#include "../end.h"