t7
.macro copy_page dest:req src:req t1:req t2:req t3:req t4:req t5:req t6:req t7:req t8:req
cfi_st t7, PT_R19, \docfi
cfi_ld t7, PT_R19, \docfi
u64 t7[ECC_MAX_DIGITS];
vli_mod_sub(t7, x1, x2, curve_prime, ndigits);
vli_mod_mult_fast(y2, y2, t7, curve);
vli_mod_square_fast(t7, t5, curve);
vli_mod_sub(t7, t7, t6, curve_prime, ndigits);
vli_mod_sub(t6, t7, x1, curve_prime, ndigits);
vli_set(x1, t7, ndigits);
long double t7 = 9.876543;
ASSERT_OK(btf_dump_data(btf, d, "test_long_double", NULL, 0, &t7, 16,