/* Defines a target function F for bbopt1.c */
/* Last edited on 2005-09-26 00:26:19 by stolfi */
  
#ifndef fbb_f3_ia_H
#define fbb_f3_ia_H

#include <bbgoal.h>

bbgoal_data_t fbb_f3_ia_get_data(void);

#endif