let cast_to_c_proto_dispatch_arr (arrtype, fname, args) =
let int = Format.sprintf "struct %s*" (GenCast.get_tname "Integer") in
let params = List.map (fun _ -> int) args in
Format.sprintf "struct %s*%s(%s);" arrtype fname (String.concat ", " params)