fa0 double
fa1 double
fa2 double
fa3 double
fa4 double
fa5 double
fa6 double
fa7 double
(a0, a1) int64[double]
(a2, t3) int64[double]
(t4, t5) int64[double]
(a6, a7) int64[double]
S+0 double
S+8 double
S+16 double
S+24 double
S+32 double
S+40 double
S+48 double
S+56 double
=>
fa0 double
