1 2 3 4 5 6 7 8
// $Id$ interface Test { // Return the number of the server short get_server_num (); };