- smallThreshold : NatAny function declaration or join point with size ≤ smallThresoldis inlined even if there are multiple occurrences.
- maxRecInline : NatMaximum number of times a recursive definition tagged with [inline]can be recursively inlined before generating an error during compilation.
- maxRecInlineIfReduce : NatMaximum number of times a recursive definition tagged with [inline_if_reduce]can be recursively inlined before generating an error during compilation.
- checkTypes : BoolPerform type compatibility checking after each compiler pass. 
User controlled configuration options for the code generator.