#include "HsFFI.h"
#ifdef __cplusplus
extern "C" {
#endif
extern void hs_main(void);
#ifdef __cplusplus
}
#endif