int main_vhacd(int argc, char* argv[]); int main(int argc, char* argv[]) { main_vhacd(argc, argv); }