inftrees.c revision b762450e
1