#
#include	"util.h"

char	server_log[] = "/etc/logs/stelnet";

long	mymach = 0x0a120800;
char	myname[] = "MIT-CSR";

char	devnet[] = "/dev/net";