#include "HsFFI.h"
#ifdef __cplusplus
extern "C" {
#endif
extern void GtkWidget_d8BD(StgStablePtr the_stableptr, void* original_return_addr, HsPtr a1);
extern HsInt32 GtkWidget_d8BE(StgStablePtr the_stableptr, void* original_return_addr, HsPtr a1, HsPtr a2);
#ifdef __cplusplus
}
#endif

