Actually use the arglist passed into main