inftrees.c revision 4aad724d
1