As of CCL-1.9, WITHOUT-FP-TRAPS seems gone (and unnecessary?)