int
system(s)
char *s;
{
	fatal("system() not supported on this system");
	return 0;
}