Symbol: server_stats_prefetch