public override TargetVariable[] GetParameters(Thread target) { read_variables (target); return parameters.ToArray (); }