#! /bin/sh

# Reads ssh.h on stdin, and outputs an array which maps packet numbers
# to names.

echo "/* Automatically generated by invert-defs `date`."
echo " * Do not edit. */"
echo
echo "{"

sed -e 's/^#define SSH_MSG_\([A-Z_0-9][A-Z_0-9]*\)[ \t][ \t]*\([1-9][0-9]*\)[ \t]*$/\2 \1/' -e t -e d \
    | awk '    {  kwds[$1] = kwds[$1] "|" $2; }
	   END {  for (i = 0; i < 256; i++) {
		    x = kwds[i];
		    if (x == "")
			print "\"Unknown\",";
		    else
			print "\"" substr(x, 2) "\",";
		  }
		}'
echo "}"
echo

