let store_mem m t l v = !store_rec m t l v