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