- {"raw", 0, &rawtoknumflag, 1},
- {"token-table", 0, &toknumflag, 1},
- {"verbose", 0, &verboseflag, 1},
+ {"raw", 0, &raw_flag, 1},
+ {"statistics", 0, &statistics_flag, 1},
+ {"token-table", 0, &token_table_flag, 1},
+ {"verbose", 0, &verbose_flag, 1},