#include <systemc.h>
#include "bistabil_d.h"

int sc_main(int argc, char **argv)
{
  BistabilD b("Bistabil_1");
  
  sc_start(5, SC_MS);

  return 0;
}