void server_initialize();
void server_do();
void server_dolong(int timeout);