The greet_manager.c module includes greet.h and it also defines the routine greet, as follows:
/*
* greet_manager.c
*
* Implementation of "greet" interface.
*/
#include <stdio.h>
#include "greet.h"
void
greet(
handle_t h,
idl_char *client_greeting,
idl_char *server_reply
)
{
printf("The client says: %s\n", client_greeting);
strcpy(server_reply, "Hi, client!");
}