char sccs[] = "@(#)4.3 BSD #1: Fri Jun  6 19:55:29 PDT 1986 (karels@monet.Berkeley.EDU:/usr/src/sys/GENERIC)\n";
char version[] = "4.3 BSD UNIX #1: Fri Jun  6 19:55:29 PDT 1986\n    karels@monet.Berkeley.EDU:/usr/src/sys/GENERIC\n";