/*
** KEY2NAME -- Convert key number to ascii key name
**	The key numbers may be octal (0#), decimal (#), or hex (0x#).
** NAME2KEY -- Convert ascii key name to hex key number
**
**	Input may be arguments or stdin, one per line.
**	If args, output will be a single line.
**	If stdin, output will be one per line.
**	psl 10/88
*/
#include <stdio.h>

main(argc,argv)
char *argv[];
{
	char *cp, *np, buf[128];
	int i;

	for (cp = np = argv[0]; *cp; )
	    if (*cp++ == '/')
		np = cp;
	if (argc > 1) {
	    for (i = 1; i < argc; i++)
		if (*np == 'k')
		    printf("%s ", key2name(myatoi(argv[i])));
		else
		    printf("%02x ", name2key(argv[i]));
	    printf("\n");
	} else {
	    while (fgets(buf, sizeof buf, stdin))
		if (*np == 'k')
		    printf("%s\n", key2name(myatoi(buf)));
		else
		    printf("%02x\n", name2key(buf));
	}
	exit(0);
}