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

#include <bbgoal.h>

bbgoal_data_t fbb_f1_ia_get_data(void);

#endif