/^  /           { printf("  &&lbl_%s\n", $1); ninstr++; }/^}/            { for (i = ninstr; i < 256; i++) { print ", &&lbl_EVENT"; }                  exit(0); }