int start_server( void );