ia32_x87.c 44.4 KB