test_x87
int test_x87(volatile bool *, const volatile bool *);
test_signal_fpu(&x87_supported, &test_x87, &trash_x87, NULL);