>>>>> "Jon" == Jon Chesterfield <jonathanchesterfield@gmail.
Jon> Good point, well made. ltm.h uses nothing from lstate.h.
Except as already pointed out, it does use G(l) from lstate.h.
But in fact the inclusion of lstate.h in ltm.h is pointless, because if
you tried to include ltm.h on its own, this would happen:
1. ltm.h defines ltm_h
2. ltm.h includes lstate.h
3. lstate.h includes ltm.h
4. nested include of ltm.h does nothing, because ltm_h is already
5. lstate.h fails on undefined TM_N