+#if 1
+
+static boolean check_special_flags(char *flag)
+{
+#if 0
+ printf("::: '%s', '%s', '%s'\n",
+ flag,
+ options.special_flags,
+ leveldir_current->special_flags);
+#endif
+
+ if (strEqual(options.special_flags, flag) ||
+ strEqual(leveldir_current->special_flags, flag))
+ return TRUE;
+
+ return FALSE;
+}
+
+#else
+
+#define SPECIAL_FLAG_LOAD_XSB_TO_CES (1 << 0)
+
+static unsigned long get_special_flags(char *flags_string)
+{
+ unsigned long flags_value = 0;
+
+ if (strEqual(flags_string, "load_xsb_to_ces"))
+ flags_value = SPECIAL_FLAG_LOAD_XSB_TO_CES;
+
+ return flags_value;
+}
+
+#endif
+