#include "stdio.h"
#include "hrc.h"
#include "ntk.h"

int main()
{
Hrc_Manager_t * hmge;
  return 0;
}