Where is the definition of hi_server_loop() function?

[chenggh]

Hi, Everyone:
	Now I am reading the document of Building Infrastructures for DROPS Tutorial.
And in the server side the code is like this:

	#include <stdio.h>
	#include <l4/names/libnames.h>
	#include "hiworld-server.h"

	char LOG_tag[9]="hiserver";
	static int count;

	void
	hi_print_component(CORBA_Object _dice_corba_obj,
                   	CORBA_Environment *_dice_corba_env){
    		printf("Hi world\n");
    		count++;
	}

	int hi_count_component(CORBA_Object _dice_corba_obj,
                   CORBA_Environment *_dice_corba_env){
    	return count;
	}

	int main(void){
    		if(names_register("hiworld")==0){
      			printf("Error registering at nameserver\n");
      			return 1;
    		}
    		hi_server_loop(0);
	}

	In the main routine there is function named hi_server_loop. But I don't where 
is the function definition. i checked the hiworld-server.h and there is no 
definition.

	ths
											chenggh