inftrees.h #1