#include "HsFFI.h"
#ifdef __cplusplus
extern "C" {
#endif
extern HsInt64 triple(HsInt64 a1);
#ifdef __cplusplus
}
#endif