- stage := 3; trace := 0; summary := false; first := 0; last := max_int;
- xdir := ""; kernel := V3; si := false; extended := false; cover := "";
+ stage := 3; trace := 0; summary := false; export := false; first := 0; last := max_int;
+ xdir := ""; kernel := V3; si := false; extended := false; infinity := false; cover := "";
expand := false; indexes := false; icm := 0; unquote := false; short := false;
debug_parser := false; debug_lexer := false;
manager_dir := ""; manager := Quiet
expand := false; indexes := false; icm := 0; unquote := false; short := false;
debug_parser := false; debug_lexer := false;
manager_dir := ""; manager := Quiet