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)