void test_cache();