/*
 * symbols pre-defined by cpp for this site
 */
char	*sitedef[] = {
	"waterloo",	/* waterloo format file system */
	"watcgl",	/* actual site */
	0,
};