extern static /* kern_return_t */ int task_info(
     /* task_name_t -> mach_port_t */ IntPtr target_task,
     /* task_flavor_t -> natural_t */ int flavor,
     /* task_info_t -> integer_t* */ ref mach_task_basic_info task_info_out,
     /* mach_msg_type_number_t* -> natural_t* */ ref int task_info_outCnt);
 extern static /* kern_return_t */ int task_info(
                 /* task_name_t -> mach_port_t */ IntPtr target_task,
                 /* task_flavor_t -> natural_t */ int flavor,
                 /* task_info_t -> integer_t* */ ref mach_task_basic_info task_info_out,
                 /* mach_msg_type_number_t* -> natural_t* */ ref int task_info_outCnt);