#include <mach/std_types.defs>
#include <mach/mach_types.defs>
import "hello_logger_types.h";

type string_t = c_string[*:1024];

subsystem hello_logger 12345;
serverprefix do_;

routine example(
				test_port	: mach_port_t;
				some_string	: string_t);