[gambit-list] Re: More inlining notes