+#define obstack_fgrow3(Obs, Format, Arg1, Arg2, Arg3) \
+do { \
+ char buf[4096]; \
+ sprintf (buf, Format, Arg1, Arg2, Arg3); \
+ obstack_grow (Obs, buf, strlen (buf)); \
+} while (0)
+
+#define obstack_fgrow4(Obs, Format, Arg1, Arg2, Arg3, Arg4) \
+do { \
+ char buf[4096]; \
+ sprintf (buf, Format, Arg1, Arg2, Arg3, Arg4); \
+ obstack_grow (Obs, buf, strlen (buf)); \
+} while (0)
+
+
+
+/*-----------------------------------------.
+| Extensions to use for the output files. |
+`-----------------------------------------*/
+
+#ifdef VMS
+ /* VMS. */
+# define EXT_TAB "_tab"
+# define EXT_OUTPUT ".output"
+# define EXT_STYPE_H "_stype"
+# define EXT_GUARD_C "_guard"
+#else /* ! VMS */
+# ifdef MSDOS
+ /* MS DOS. */
+# define EXT_TAB "_tab"
+# define EXT_OUTPUT ".out"
+# define EXT_STYPE_H ".sth"
+# define EXT_GUARD_C ".guc"
+# else /* ! MSDOS */
+ /* Standard. */
+# define EXT_TAB ".tab"
+# define EXT_OUTPUT ".output"
+# define EXT_STYPE_H ".stype"
+# define EXT_GUARD_C ".guard"
+# endif /* ! MSDOS */
+#endif /* ! VMS */
+
+#ifndef DEFAULT_TMPDIR
+# define DEFAULT_TMPDIR "/tmp"