u64_u32_store_copy
# define u64_u32_store_copy(var, copy, val) (var = val)
# define u64_u32_store_copy(var, copy, val) \