+/** free resources hold by firm-generating back end */
+void gen_firm_finish(void);
+
+/**
+ * Transform, optimize and generate code
+ *
+ * @param out a file handle for the output, may be NULL
+ * @param input_filename the name of the (main) source file
+ */
+void generate_code(FILE *out, const char *input_filename);