-#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
-