+/* GiNaC archive file version age. */
+#undef ARCHIVE_AGE
+
+/* The number of bytes in a long. */
+#undef SIZEOF_LONG
+
+/* The number of bytes in a long double. */
+#undef SIZEOF_LONG_DOUBLE
+
+/* The number of bytes in a long long. */
+#undef SIZEOF_LONG_LONG