/* Copyright (c) 1979 Regents of the University of California */ /* static char sccsid[] = "@(#)pTree.h 1.2 09/19/83"; */ /* this is not pTree.h */