char version[] = "4.2 BSD UNIX #9: Wed Nov 2 16:00:29 PST 1983\n";