BEGIN {  print "#include <stdio.h>"  print "#include \"funcname1.h\""  print "%%"}/^#/ { next }{  print $1 " FUNCNAME_" $2;}