+/* Define to 1 if Firm statistics are activated */
+/* #undef FIRM_STATISTICS */
+
+/* Define the right volatile token */
+/* #undef volatile */
+
+/* Define the right inline token */
+#define inline __inline
+
+/* Define the right const token */
+/* #undef const */
+
+#ifdef USE_INLINING
+#define INLINE inline
+#else