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

/* static	char sccsid[] = "@(#)pTree.h 1.1 08/27/80"; */

/* this is not pTree.h */