
#ifdef IMPEL_GAVIOTA_DEBUG
#define GAVIOTA_DEBUG_SET_UP() GaviotaDebugSetUp ()
#define GAVIOTA_DEBUG_FINALE() GaviotaScrub ()
void GaviotaDebugSetUp ();
void GaviotaScrub ();
#define SQUARE unsigned
#define SQ_CONTENT unsigned char

int (*GaviotaDebug_TB_ProbeSoft)
(unsigned int, SQUARE, unsigned, const SQUARE *, const SQUARE *,
 const SQ_CONTENT *, const SQ_CONTENT *, unsigned *, unsigned *);

int (*GaviotaDebug_TB_ProbeHard)
(unsigned int, SQUARE, unsigned, const SQUARE *, const SQUARE *,
 const SQ_CONTENT *, const SQ_CONTENT *, unsigned *, unsigned *);

int (*GaviotaDebug_TB_ProbeHardWDL)
(unsigned int, SQUARE, unsigned, const SQUARE *, const SQUARE *,
 const SQ_CONTENT *, const SQ_CONTENT *, unsigned *);

int (*GaviotaDebug_TB_ProbeSoftWDL)
(unsigned int, SQUARE, unsigned, const SQUARE *, const SQUARE *,
 const SQ_CONTENT *, const SQ_CONTENT *, unsigned *);

void GaviotaBugTrap
(unsigned, SQUARE, const SQUARE *, const SQUARE *,
 const SQ_CONTENT *, const SQ_CONTENT *, unsigned, unsigned);

#else
#define GAVIOTA_DEBUG_SET_UP() /* */
#define GAVIOTA_DEBUG_FINALE() /* */
#endif

