#include "systemc.h"
#include "first_counter.cpp"

int sc_main (int argc, char* argv[]) {
  sc_signal<bool>   clock;
  sc_signal<bool>   reset;
  sc_signal<bool>   enable;
  sc_signal<sc_uint<4> > counter_out;
  int i = 0;
  // Connect the DUT
  first_counter counter("COUNTER");
    // Here ports are connected by name
    counter.enable(enable);
    counter.reset(reset);
    counter.clock(clock);
    counter.counter_out(counter_out);

  // Rest of the body

  return 0;// Terminate simulation
 }