char *getenv();
#include <sys/param.h>

char dedname[DIRSIZ+6] = "/lib/ded.";

main(argc,argv)
int argc;
char **argv;
{
	char *t = getenv("TERM");

	strncat(dedname, t, DIRSIZ-4);
	execv(dedname, argv);
	printf("unsupported terminal type %s: have you set $TERM ?\n",t);
}