inftrees.h #2