Rust thread_local bad performance?

Are you sure the C version isn't just optimizing the for loop out completely into a 12499997500000 literal?