/* Control Flow Data constructor */
ControlFlowData *GuiControlFlow(void);
void
+GuiControlFlow_Destructor_Full(ControlFlowData *Control_Flow_Data);
+void
GuiControlFlow_Destructor(ControlFlowData *Control_Flow_Data);
GtkWidget *GuiControlFlow_get_Widget(ControlFlowData *Control_Flow_Data);