#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);