A tiny cachemanager