/^#define/ {
  printf "  { %-20s %-20s },\n", $2 ",", "\""$2"\""
}
