#define _BE_MAIN_H
void be_init(void);
-void be_main(int argc, const char *argv[]);
+
+/**
+ * Main interface to the frontend.
+ */
+void be_main(FILE *file_handle);
typedef struct _be_main_env_t be_main_env_t;
+typedef struct _be_irg_t be_irg_t;
typedef struct _be_options_t be_options_t;
-#endif
+#endif /* _BE_MAIN_H */