Explicit parameter specifications serve to hand help variables over to the generated routine. They can serve to pass the engine state, or other variables that may be used in target predicates. Their type must be a C-Type (which can also be a FlatFormType).