generator.ml: factor out "pr_args n" function