/* size of the cache */