src/shared/ip-protocol-to-name.awk

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