BEGIN {
  char doublequote;

#   Sorry, but most awk's are not able to deal with double quotes...
  doublequote=34;
  FS="@"
  printf("char *msg_list[]={\n   %c(not-used)%c,\n",doublequote,doublequote)
}
{
  printf("   %c%s%c,\n", doublequote, $1, doublequote)
}
END {
  printf("   0};\n")
}