Relaxed memory ordering is fine because spawn()/join() already provides all the synchronization we need.