(dump_function): Handle parameters that look like 'char *foo[]'.