BEGIN{ print "static const char* const socket_protocol_names[] = { "}!/HOPOPTS/ { printf " [IPPROTO_%s] = \"%s\",\n", $1, tolower($1)}END{ print "};"}