Updated command line parsing and outputting constants for value numbering.