#include <stdio.h>
#include <mach/task.h>

extern kern_return_t task_get_special_port
(
	task_t task,
	int which_port,
	mach_port_t *special_port
){
printf ("task_get_special_port",task,which_port,*special_port);
};
