let keep_only_declared_nb_of_arguments vi l =
let _,args,is_variadic, _ = splitFunctionTypeVI vi in
if args=None then
(warning "skipping all arguments of implicit prototype %s" vi.vname;
[])
else if is_variadic then unsupported "unsupported variadic functions"
else l