void sync_server(){ for(;;){ } }