#include "config.h"
#endif
-#include "args.h"
+/* We use _GNU_SOURCE to get things like asprintf. */
+#define _GNU_SOURCE
+#include <stdio.h>
+#include <stdlib.h>
+#include <unistd.h>
+#include <assert.h>
+#include <string.h>
+#include <errno.h>
+#include <ctype.h>
+
+#define ASSERT_NOT_REACHED \
+do { \
+ static const int NOT_REACHED = 0; \
+ assert (NOT_REACHED); \
+ exit (1); \
+} while (0)
+
+#if __GNUC__ > 2 || (__GNUC__ == 2 && __GNUC_MINOR__ > 4)
+#define TTT_PRINTF_FORMAT(fmt_index, va_index) \
+ __attribute__((__format__(__printf__, fmt_index, va_index)))
+#else
+#define TTT_PRINTF_FORMAT(fmt_index, va_index)
+#endif
+
+#include "ttt-args.h"
+#include "x.h"
#endif