private int variant; // global variant of symbol name, making it unique public Symbol(string name) { this.name = name; this.variant = Exec.NewUID(); }