-XBT_PUBLIC int gras_ddt_parse_lex(void);
-XBT_PUBLIC int gras_ddt_parse_get_lineno (void);
-XBT_PUBLIC FILE *gras_ddt_parse_get_in (void);
-XBT_PUBLIC FILE *gras_ddt_parse_get_out (void);
-XBT_PUBLIC int gras_ddt_parse_get_leng (void);
-XBT_PUBLIC char *gras_ddt_parse_get_text (void);
-XBT_PUBLIC void gras_ddt_parse_set_lineno (int line_number );
-XBT_PUBLIC void gras_ddt_parse_set_in (FILE * in_str );
-XBT_PUBLIC void gras_ddt_parse_set_out (FILE * out_str );
-XBT_PUBLIC int gras_ddt_parse_get_debug (void);
-XBT_PUBLIC void gras_ddt_parse_set_debug (int bdebug );
-XBT_PUBLIC int gras_ddt_parse_lex_destroy (void);
-
-#define PARSE_ERROR_PRE do {
-#define PARSE_ERROR_POST xbt_abort();} while (0)
+int gras_ddt_parse_lex(void);
+int gras_ddt_parse_get_lineno(void);
+FILE *gras_ddt_parse_get_in(void);
+FILE *gras_ddt_parse_get_out(void);
+int gras_ddt_parse_get_leng(void);
+char *gras_ddt_parse_get_text(void);
+void gras_ddt_parse_set_lineno(int line_number);
+void gras_ddt_parse_set_in(FILE * in_str);
+void gras_ddt_parse_set_out(FILE * out_str);
+int gras_ddt_parse_get_debug(void);
+void gras_ddt_parse_set_debug(int bdebug);
+int gras_ddt_parse_lex_destroy(void);