BEGIN { print "char *pop_push[]=" print "{" print "\"\"," switch = 0 } /aar/ { switch = 1 } { if (switch) printf("\"%s\",\n",$3) } END { print "};" }