kern_return_t (*args_3)(uint32_t,uint32_t,uint32_t);
kern_return_t (*args_4)(uint32_t,uint32_t,uint32_t,uint32_t);
kern_return_t (*args_var)(uint32_t,...);
kern_return_t (*args_3)(uint32_t,uint32_t,uint32_t);
kern_return_t (*args_4)(uint32_t,uint32_t,uint32_t,uint32_t);
kern_return_t (*args_var)(uint32_t,...);