Each time a page is loaded, cache_set is called to get the current menus.

On my system there is only one menu, and cache_set is always called with the same cid. = it's called for each page generation when logged.

Conclusion: a loss of performance. Caching is great, but if it is used, is there any issue with this ?