namespace hwd
{
void stop_server();
}