and make the maximum number of variables for which specializations should be generated settable via a command line argument.