I'm troubleshooting a module, and I need to disable the menu caching. What do I use in the place of $may_cache, so that the menu isn't cached? It's not in the API documentation, as near as I can tell.