EXC_FPU
case EXC_FPU: trapstr = "FPU"; break;
{ EXC_FPU, "floating-point unavailable" },
case EXC_FPU: