#include <stdio.h>
#include "minithread.h"
#include "synch.h"

static int tester()
{
}

main()
{
  minithread_system_initialize(tester, NULL);
}