-void be_main(FILE *file_handle, const char *cup_name);
-
-/** The type of the debug info retriever function. */
-typedef const char *(*retrieve_dbg_func)(const dbg_info *dbg, unsigned *line);
-
-/**
- * Sets a debug info retriever.
- *
- * @param func the debug retriever function.
- */
-void be_set_debug_retrieve(retrieve_dbg_func func);
-
-/**
- * Retrieve the debug info.
- */
-const char *be_retrieve_dbg_info(const dbg_info *dbg, unsigned *line);