parse_dispatch(str,args,n) char *str; int n; double args[]; { int i1; printf ("%s: ",str); for (i1=0;i1