#include "testbench.h"

int main(int argc, char **argv)
{
	// note: will segfault
	main_loop(NULL, NULL, NULL);
}