{printf("grep ',%s()' function_list | /bin/echo -n `awk -F, '{printf(\".FH \\\"%%s\\\" \\\"\",$1)}'`; echo `grep ' %s ' Cbinding.src`\\\"\n",$1,$1)}
