/* Copyright (c) 1979 Regents of the University of California */

/* static	char sccsid[] = "@(#)pTree.h 2.1 02/08/84"; */

/* this is not pTree.h */