public override string ToString() { return "PATH(\"" + pathStr + "\")"; }
public override string ToString() { return("FAST_" + path.ToString()); }