text: #include <stdlib.h>
  #include "HsFFI.h"
  
  static void HsStart(void) __attribute__((constructor));
  static void HsStart(void)
  {
    static char *argv[] = { "+RTS", "-A32m", NULL }, **argv_ = argv;
    static int argc = 2;
    hs_init(NULL,NULL);
  }
  
  
  static void HsEnd(void) __attribute__((destructor));
  extern void HsEnd(void)
  {
    hs_exit();
  }
  