# usage: awk -f actionnm.awk pseudocode.h#BEGIN { "date" | getline	today = $0	printf("\n/* this file generated on %s  */\n", today )	printf("\nstatic char *action_names[] = { \n    " )	opl = 0}/^#define/ {				if ( opl > 3 ) {	    printf("\n    ")	    opl = 0	}	opl = opl +1	t = sprintf("\"%s\"", $2 )	printf("%-15s ,", t )#	printf("%-10s", $2 )}END {			if ( opl > 3 ) {	    printf("\n    ")	}	printf("\t  0\n};\n\n")}