#include "stdio.h"
#include "utilities.h"

int main()
{
  Hrc_Manager_t * hmgr1;
  FILE * file1;
    file1 =  fopen("example/and2.mv","r");
	hmgr1 = rlmv( file1);
	if(hmgr1 !=NULL)
	{
		 Hrc_Node_t * n = Hrc_ManagerReadRootNode(hmgr1);
		printf("***** HRC : %s %d\n",  Hrc_NodeReadModelName(n));
	}

  return 0;
}