avx_state
if (avx_size != sizeof (struct avx_state)) {
"expected %x\n", avx_size, sizeof (struct avx_state));
struct avx_state *avx = fpu_area + avx_off;