inftrees.c #1