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