#include <string.h>
#include <ghdl/synth_gates.h>

void libghdl_init(); // dummy, just to see if finding the library/linking works

int main()
{
	libghdl_init();
}