/* Defines a target function F for bbopt1.c */
/* Last edited on 2024-12-05 10:21:34 by stolfi */
  
#ifndef fbb_f1_ia_H
#define fbb_f1_ia_H

#include <stdint.h>

#include <bbgoal.h>

bbgoal_data_t fbb_f1_ia_get_data(void);

#endif