FP_FXSAVE
printf("#define\tFP_FXSAVE 0x%x\n", FP_FXSAVE);
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
int fp_save_mech = FP_FXSAVE;
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE: {
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE:
case FP_FXSAVE: