#include <stdio.h>
#include "HsFFI.h"

typedef void* opst_t;

extern opst_t wetterhorn();

opst_t plugin_init(int* argc, char*** argv)
{
  hs_init(argc, argv);
  return wetterhorn();
}

void plugin_teardown()
{
  hs_exit();
}

const char* plugin_name = "Wetterhorn";