Fix C function argument definitions