-no-lib
+fcnconstraint

