1 /* Copyright (c) 1979 Regents of the University of California */ 2 3 /* static char sccsid[] = "@(#)pTree.h 1.1 08/27/80"; */ 4 5 /* this is not pTree.h */ 6