void check_caches(void);