BEGIN {
printf "char ide_startup[] = {\"" }
{ printf "%s\\n", $0 }
END {
print "\" };" }