inftrees.c #2