const char id[] = "@(#)rc version 1.5b2, 1997-07-01.";