+void F_ReturnFound (Function* F);
+/* Mark the function as having a return statement */
+
+int F_HasReturn (const Function* F);
+/* Return true if the function contains a return statement*/
+
+int F_IsMainFunc (const Function* F);
+/* Return true if this is the main function */
+
+int F_IsVariadic (const Function* F);