#include "test.h"
#include <iostream>


void test::gen_mealy ()
{
  std::cout << "gen_mealy\n";
}