Relaxed memory ordering is fine