#include <stdio.h>
#include "TNavConfig.h"

main()
{
   TNavConfig::instance()->setMapFile("mapfilename");
   printf("mapFile set to %s\n", TNavConfig::instance()->getMapFile());
}