Ah, so nice. The default behaviour is session caching on, with a cache
size of 20000 entries! Well, if each entry takes 12K, yikes. Well, who knows how much memory this would eat up. Anyway, I turned the session cache off since there is no point; tmcc exits, and so there is nothing to cache. On the other hand, I probably do not understand this caching, but no time to mess with it. Lets see what happens ...